Skip to content
Snippets Groups Projects

[ci] advise openmpi to run as root

Merged Dennis Gläser requested to merge fix/mpi-ci-privileges into master
Loading