-
GILLES Sebastien authored
#20 Add possibility to create a Docker image without the external PETSc dependencies, and create one such image in CI.
GILLES Sebastien authored#20 Add possibility to create a Docker image without the external PETSc dependencies, and create one such image in CI.
docker_third_party_set_up.py 2.67 KiB