Merge branch 'ci-env' into 'develop'

GitLab CI Runner uses system MPI/PETSc

See merge request !8
7 jobs for develop in 19 minutes and 47 seconds (queued for 1 second)