Github CI: tag Docker images, automatically cleanup non-master ones

CatalaLang · Jul 29, 2022 · 44cadac · 44cadac
1 parent 6e82590
commit 44cadac
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/run-make-all.yml b/.github/workflows/run-make-all.yml
@@ -18,4 +18,7 @@ jobs:
       - name: Prepare container with all dependencies
         run: git archive HEAD | docker build - --target dev-build-context
       - name: Run builds, checks and tests
-        run: git archive HEAD | docker build -
+        run: git archive HEAD | docker build - --force-rm -t catalalang/catala:${GITHUB_HEAD_REF:-${GITHUB_REF_NAME}}
+      - name: Cleanup Docker image
+        if: ${{ github.ref != 'refs/heads/master' }}
+        run: docker image rm catalalang/catala:${GITHUB_HEAD_REF:-${GITHUB_REF_NAME}}