Make github workflow fail if any command fails

jrh13 · Nov 14, 2024 · 3a62e0a · 3a62e0a
1 parent 316aace
commit 3a62e0a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -34,6 +34,7 @@ jobs:
 
       - name: Run
         run: |
+          set -e
           cd hol-light
           eval $(opam env)
           make
@@ -58,6 +59,7 @@ jobs:
 
       - name: Run
         run: |
+          set -e
           cd hol-light
           make switch
           eval $(opam env)
@@ -69,6 +71,7 @@ jobs:
 
       - name: Run (HOLLIGHT_USE_MODULE=1)
         run: |
+          set -e
           cd hol-light
           eval $(opam env)
           make clean