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: NLPModelsJuMP v0.12.4 #93725

Merged

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: 792afdf1-32c1-5681-94e0-d7bf7a5df49e
Repo: https://github.com/JuliaSmoothOptimizers/NLPModelsJuMP.jl.git
Tree: 0edf4d2c21f6473e504cba57eda604cb411f7025

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistrator referenced this pull request in JuliaSmoothOptimizers/NLPModelsJuMP.jl Oct 19, 2023
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 19, 2023 17:04 — with GitHub Actions Inactive
@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. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.

@JuliaTagBot JuliaTagBot merged commit a85cdfc into master Oct 19, 2023
@JuliaTagBot JuliaTagBot deleted the registrator-nlpmodelsjump-792afdf1-v0.12.4-5214f72075 branch October 19, 2023 17:18
# 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