Skip to content

GHA: -Werror only for amici repo#2481

Merged
dweindl merged 3 commits intoAMICI-dev:developfrom dweindl:fix_2477Jul 8, 2024

Commits

Commits on Jul 8, 2024