Fix syntax bug in makefile.yml

leanprover · Jan 30, 2024 · cada8e7 · cada8e7
1 parent 91b74d7
commit cada8e7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
@@ -22,8 +22,9 @@ jobs:
 
     - name: Get z3 binary v4.11.2
       run: |
+          set -o pipefail
           curl -OJLsSf https://github.com/Z3Prover/z3/releases/download/z3-4.11.2/z3-4.11.2-x64-glibc-2.31.zip
-	  unzip z3-4.11.2-x64-glibc-2.31.zip && rm z3-4.11.2-x64-glibc-2.31.zip
+          unzip z3-4.11.2-x64-glibc-2.31.zip && rm z3-4.11.2-x64-glibc-2.31.zip
           echo "$HOME/z3-4.11.2-x64-glibc-2.31/bin/z3" >> $GITHUB_PATH
 
     - uses: actions/checkout@v3