CI: reduce the size of the CI docker container
Passed
Reiter, Christoph
created pipeline for commit
d883ec93
, finished
For master
3 minutes 28 seconds, queued for 2 seconds