Some Docker fixes #3771

Job	Run time
ci-build (openmpi, petsc float64/int32)	29m 30s
ci-build (openmpi, petsc float32/int32)	23m 15s
ci-build (openmpi, petsc complex128/int32)	25m 3s
ci-build (openmpi, no petsc)	21m 3s
ci-build (mpich, petsc complex128/int32)	29m 57s
ci-build (openmpi, petsc complex128/int64)	23m 30s
ci-build (mpich, petsc float64/int32)	27m 48s
ci-build (openmpi, petsc complex64/int32)	24m 46s
ci-build (openmpi, petsc float64/int64)	27m 14s
	3h 52m 6s

Navigation Menu