Cut down Docker image sizes #6302
build.yml
on: pull_request
Build Docker containers
/
...
/
Build the firedrake-env container
0s
Set the Docker release tag
0s
Matrix: Build Firedrake
docker
/
...
/
docker_workflow
docker
/
...
/
docker_workflow
docker
/
...
/
docker_workflow
docker
/
...
/
docker_workflow
Annotations
8 errors and 2 warnings