From cada8e74956da6c2a855db8ce251623294d72e01 Mon Sep 17 00:00:00 2001 From: Shilpi Goel Date: Tue, 30 Jan 2024 13:44:05 -0600 Subject: [PATCH] Fix syntax bug in makefile.yml --- .github/workflows/makefile.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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