GitHub Actions: checkout specific pmix sha to use for CI#8
Merged
gagarc merged 1 commit intogerardo-refactor-mpirunfrom Nov 25, 2024
Merged
GitHub Actions: checkout specific pmix sha to use for CI#8gagarc merged 1 commit intogerardo-refactor-mpirunfrom
gagarc merged 1 commit intogerardo-refactor-mpirunfrom