[CI] touch binaries to prevent rebuilding

mit-plv · Dec 16, 2023 · 3a3e7fc · 3a3e7fc
1 parent fa97cc3
commit 3a3e7fc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -340,6 +340,8 @@ jobs:
         path: src/ExtractionOCaml
     - name: make binaries executable
       run: git check-ignore src/ExtractionOCaml/* | grep -v '\.' | xargs chmod +x
+    - name: touch binaries to prevent rebuilding
+      run: git check-ignore src/ExtractionOCaml/* | grep -v '\.' | xargs touch
     - name: generated-files
       run: etc/ci/github-actions-make.sh --warnings -f Makefile.examples -j2 generated-files
       if: github.event_name == 'pull_request'