-
GILLES Sebastien authored
#1360 Attempt with shell runner: I'm not sure I will be able to figure out why the docker images runs fail due to Petsc whereas it is completely ok in a full-fledged environment. The only idea left (which will require to be at my office so in March...) is to see if creating the Docker image on Linux system is more robust).
8102dfc3