Code

Cut down Docker image sizes#3916

Code

Merged

connorjward merged 1 commit intofiredrakeproject:masterfiredrakeproject/firedrake:masterfrom ddundo:docker_squash_layerddundo/firedrake:docker_squash_layerCopy head branch name to clipboardDec 11, 2024

+6-7

Commits

Commits on Dec 11, 2024

• Remove unnecessary files inside the build layer

  ddundo

  authored
  bbb6079