Fix z3's path in makefile.yml

leanprover · Jan 30, 2024 · dace776 · dace776
1 parent cada8e7
commit dace776
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
@@ -25,7 +25,7 @@ jobs:
           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
-          echo "$HOME/z3-4.11.2-x64-glibc-2.31/bin/z3" >> $GITHUB_PATH
+          echo "./z3-4.11.2-x64-glibc-2.31/bin/z3" >> $GITHUB_PATH
 
     - uses: actions/checkout@v3