See !1177 (merged). This just updates the .gitlab-ci.yml now that I’ve built and pushed the new Docker images.
.gitlab-ci.yml