Skip to content

Bundling nlopt in third party - #34

Merged
rg2 merged 1 commit into
masterfrom
nlopt_third_party
Oct 5, 2026
Merged

rg2 merged 1 commit into
masterfrom
nlopt_third_party

Conversation

@rg2

@rg2 rg2 commented Oct 5, 2026

Copy link
Copy Markdown
Owner

updating version of nlopt to 2.11.0 and bundling it in third_party.

@rg2
rg2 marked this pull request as ready for review October 5, 2026 23:07
@rg2
rg2 merged commit 24e1e40 into master Oct 5, 2026
6 checks passed
@rg2
rg2 deleted the nlopt_third_party branch October 5, 2026 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant