Skip to content

ci: remove rhel7#12805

Merged
jsquyres merged 1 commit intoopen-mpi:mainfrom
wenduwan:remove_rhel7
Sep 10, 2024
Merged

ci: remove rhel7#12805
jsquyres merged 1 commit intoopen-mpi:mainfrom
wenduwan:remove_rhel7

Commits

Commits on Sep 9, 2024