Docker container should be tagged by branch name
Currently, the docker container is not tagged (or, more precisely, it is always tagged latest
), whereas it is only rebuilt when the Dockerfile
changes in the current branch. This scheme breaks if two branches differ in the environment they use, as it is exemplified in https://gitlab.inria.fr/gitlabci_gallery/latex/latex-beamer/-/jobs/2934771: this build on branch test-branch-with-minted fails because another branch test-branch-without-minted has changed the container in an incompatible way, but the docker container has not been rebuilt when the last commit in test-branch-with-minted arrived, since this commit does not change the Dockerfile
with respect to previous commits in the same branch.