Generate docker image as part of CI pipeline

This removes the dependency on an externally generated docker image, and should make it easier to update the docker image or make other changes related to it.


  • If the image doesn't exist, try pulling it from the main repo's registry.
  • Use debian:testing-slim as the base, might result in a slightly smaller image.
Edited by Michel Dänzer

Merge request reports