Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

UUID: 47aef6b3-ad0c-573a-a1e2-d07658019622
Repo: https://github.com/JuliaGraphs/SimpleWeightedGraphs.jl.git
Tree: 4b33e0e081a825dbfaf314decf58fa47e53d6acb

Registrator tree SHA: 7242ef64be5953fac9bf8b3efa3a7c4d2d44ca09
@github-actions
Copy link
Contributor

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.

@JuliaTagBot JuliaTagBot merged commit e0238d7 into master Apr 28, 2023
@JuliaTagBot JuliaTagBot deleted the registrator-simpleweightedgraphs-47aef6b3-v1.4.0-df3f5711c3 branch April 28, 2023 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants