Skip to content

Conversation

@JuliaRegistrator
Copy link
Contributor

UUID: 37e2e3b-166d-5795-8a7a-e32c996b4267
Repo: https://github.com/JuliaDiff/ReverseDiff.jl.git
Tree: 8d85c98fc33d4d37d88c8f9ccee4f1f3f98e56f4

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
@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 7d650ba into master Dec 16, 2021
@JuliaTagBot JuliaTagBot deleted the registrator/reversediff/37e2e3b7/v1.12.0 branch December 16, 2021 17:02
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.

3 participants