Build application

Use mpi-extensions main Open MPI in CI #5076

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-scope	4s
pre-commit / link-check	40s
pre-commit / pre-commit	2m 31s
windows	0s
ubuntu	0s
mac	0s
perf	0s
pages	0s
	3m 15s