Skip to content

Reduce size of docker images

Mao Zeng requested to merge trimDocker into dev

By reducing dependencies and unnecessary layers in the images, the builder image is reduced to ~ 2.3 G, and the final image is reduced to ~ 1.2 G. Only Flint and Fermat are supported simplifiers in the image. Also added documentation about converting the Docker image to an Apptainer image for HPC use.

Merge request reports