Update coq-debian.yml for amd64-files chmod

mit-plv · Aug 9, 2023 · 17264e6 · 17264e6
1 parent 83fdb59
commit 17264e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
@@ -127,7 +127,7 @@ jobs:
         name: ExtractionOCaml-sid
         path: src/ExtractionOCaml
     - name: make binaries executable
-      run: chmod +x src/ExtractionOCaml/*
+      run: git check-ignore src/ExtractionOCaml/* | grep -v '\.' | xargs chmod +x
     - name: make only-test-amd64-files
       run: |
         sudo chroot /chroot setpriv --reuid "$(id -u)" --regid "$(id -g)" --init-groups \