Try this out

Author: toolCHAINZ

.github/workflows/jingle_python.yml

@@ -42,7 +42,7 @@ jobs:
       - name: Install dependencies
         run: |
           sudo apt-get update
-          sudo apt-get install -y libclang-dev clang
+          sudo apt-get install -y libclang-dev clang build-essential libc6-dev
 
       - name: Set LIBCLANG_PATH
         run: |
@@ -114,6 +114,8 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
+      - name: Install z3
+        run: brew install z3
       - uses: actions/setup-python@v5
         with:
           python-version: 3.x