Merge pull request #302 from AltGr/parser-fix

Tweak priority of 'set contains elt' / tag Docker images
CatalaLang · Aug 3, 2022 · 38ca40d · 38ca40d
2 parents 2da94b8 + 0abbb3e
commit 38ca40d
Show file tree

Hide file tree

Showing 3 changed files with 34 additions and 29 deletions.
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}}