Skip to content

Fix bug in OptimizationProblem::build_eos#3

Merged
prehner merged 1 commit into
mainfrom
fix_build_eos
Jun 28, 2024
Merged

Fix bug in OptimizationProblem::build_eos#3
prehner merged 1 commit into
mainfrom
fix_build_eos

Conversation

@prehner

@prehner prehner commented Jun 28, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@prehner
prehner merged commit 49ee3b6 into main Jun 28, 2024
@prehner
prehner deleted the fix_build_eos branch June 28, 2024 09:01
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