Change binary path in Coq axiom check workflow

huynhtrankhanh · Nov 2, 2024 · d4d4246 · d4d4246
1 parent a8f9d07
commit d4d4246
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/axioms.yml b/.github/workflows/axioms.yml
@@ -30,7 +30,7 @@ jobs:
 
     - name: Run coqchk and compare result
       run: |
-        s=$( /snap/coq-prover/current/coq-platform/bin/coqchk -silent --output-context -R theories/ CoqCP $(ls **/*.vo | awk -F'/' '{split($NF, a, "."); print "CoqCP."a[1]}') 2>&1 )
+        s=$( coqchk -silent --output-context -R theories/ CoqCP $(ls **/*.vo | awk -F'/' '{split($NF, a, "."); print "CoqCP."a[1]}') 2>&1 )
         expected=$(cat << 'EOF'
         CONTEXT SUMMARY
         ===============