Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

New version: ForwardDiffPullbacks v0.1.3 #38027

Merged

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: 450a3b6d-2448-4ee1-8e34-e4eb8713b605
Repo: https://github.com/oschulz/ForwardDiffPullbacks.jl.git
Tree: e124b95100998b3a3d8d86fc2932f9f9da85abfa

Registrator tree SHA: c7e033175c3b9b466fb2cc8beab47042878a66b0
JuliaRegistrator referenced this pull request in oschulz/ForwardDiffPullbacks.jl Jun 2, 2021
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch June 2, 2021 14:56 Inactive
@github-actions
Copy link
Contributor

github-actions bot commented Jun 2, 2021

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 71e116e into master Jun 2, 2021
@JuliaTagBot JuliaTagBot deleted the registrator/forwarddiffpullbacks/450a3b6d/v0.1.3 branch June 2, 2021 15:10
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants