Merge steps

huynhtrankhanh · Nov 25, 2023 · 1791efb · 1791efb
1 parent 1907822
commit 1791efb
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/axioms.yml b/.github/workflows/axioms.yml
@@ -23,12 +23,9 @@ jobs:
     - name: Run make
       run: make
 
-    - name: Run coqchk and save result to variable
+    - 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]}') )
-
-    - name: Compare results in Bash
-      run: |
         expected=$(cat << 'EOF'
         CONTEXT SUMMARY
         ===============