mithril
mithril copied to clipboard
Optimize Docker CI images
The image used in the Docker.ci
is not a slim image anymore following issues with glibc
(see #313)
The CI docker images should be optimized (and maybe built differently) to use a slim image