diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 6989992b..fb6690e1 100644
--- 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