Update test.yml

uclid-org · Apr 29, 2024 · 059d2d4 · 059d2d4
1 parent 44699e5
commit 059d2d4
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -121,8 +121,7 @@ jobs:
 
     - name: Add Z3 to Path
       run: |
-       pwd
-       ls /usr/*
+      mkdir /usr/local/lib
        echo "$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_PATH
        echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_ENV
        ./setup-z3-macos.sh