The source project of this merge request has been removed.
Further improve CI
The Docker image is now built on CI, based on https://docs.gitlab.com/ee/ci/docker/using_kaniko.html. This is only done on commits that modify Dockerfile
. In addition, some minor improvements to caching were made.