Skip to content

[CI] Oversubscribe in OpenMPI jobs#790

Merged
giordano merged 1 commit intoJuliaParallel:masterfrom giordano:mg/ci-openmpi-oversubscribeNov 3, 2023

Commits

Commits on Nov 3, 2023