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.3 #92683

Merged

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Oct 3, 2023

JuliaRegistrator referenced this pull request in PetrKryslUCSD/FinEtoolsHeatDiff.jl Oct 3, 2023
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 3, 2023 17:02 — 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.

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

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistrator referenced this pull request in PetrKryslUCSD/FinEtoolsHeatDiff.jl Oct 6, 2023
@JuliaRegistrator JuliaRegistrator force-pushed the registrator-finetoolsheatdiff-972d1c22-v2.1.3-ec8ed0d395 branch from 20f4cbb to 8fb67c2 Compare October 6, 2023 00:27
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 6, 2023 00:27 — with GitHub Actions Inactive
@JuliaTagBot JuliaTagBot merged commit cdebaa5 into master Oct 6, 2023
@JuliaTagBot JuliaTagBot deleted the registrator-finetoolsheatdiff-972d1c22-v2.1.3-ec8ed0d395 branch October 6, 2023 00:35
# 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