Skip to content

GHA: Fix OpenMP not found on macos#2207

Merged
dweindl merged 5 commits intoAMICI-dev:developfrom dweindl:fix_2182_openmpNov 21, 2023

Commits

Commits on Nov 20, 2023

Commits on Nov 21, 2023