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: FinEtoolsHeatDiff v2.1.2 #92684

Merged

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: 972d1c22-8bdd-11e9-11cf-cdcb7577b041
Repo: https://github.com/PetrKryslUCSD/FinEtoolsHeatDiff.jl.git
Tree: 46b5d89cbbf49d537541ab9ade6a2b64b4fce48f

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistrator referenced this pull request in PetrKryslUCSD/FinEtoolsHeatDiff.jl Oct 3, 2023
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 3, 2023 17:15 — with GitHub Actions Inactive
@github-actions
Copy link
Contributor

github-actions bot commented Oct 3, 2023

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. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.

@JuliaTagBot JuliaTagBot merged commit 4dd7ea2 into master Oct 3, 2023
@JuliaTagBot JuliaTagBot deleted the registrator-finetoolsheatdiff-972d1c22-v2.1.2-ec8ed0d395 branch October 3, 2023 17:27
# 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