Merge branch 'fix/mpi-ci-privileges' into 'master'
[ci] advise openmpi to run as root See merge request !2581
No related branches found
No related tags found
Checking pipeline status
Please register or sign in to comment
[ci] advise openmpi to run as root See merge request !2581