diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 6a80067a..932c01f4 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -122,6 +122,7 @@ jobs:
     - name: Add Z3 to Path
       run: |
        pwd
+       ls /usr/*
        echo "$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_PATH
        echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_ENV
        ./setup-z3-macos.sh