Commit 0e4cb284 by Robert Speicher

Merge branch 'smaller-docker-image' into 'master'

Use smaller Docker image to speed up build

See merge request !9
parents ceb3785a 92a1aaf2
Pipeline #3695190 passed with stage
in 11 seconds