CIIII

Author: toolCHAINZ

.github/workflows/jingle_python.yml

@@ -19,6 +19,9 @@ permissions:
 
 jobs:
   linux:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -54,6 +57,9 @@ jobs:
           path: dist
 
   musllinux:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -85,6 +91,9 @@ jobs:
           path: dist
 
   windows:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -112,6 +121,9 @@ jobs:
           path: dist
 
   macos:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -138,6 +150,9 @@ jobs:
           path: dist
 
   sdist:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -153,6 +168,9 @@ jobs:
           path: dist
 
   release:
+    defaults:
+      run:
+        working-directory: ./jingle_python
     name: Release
     runs-on: ubuntu-latest
     if: ${{ startsWith(github.ref, 'refs/tags/') || github.event_name == 'workflow_dispatch' }}

jingle_python/Cargo.toml

@@ -14,5 +14,3 @@ jingle = {path = "../jingle", features = ["pyo3", "gimli"]}
 z3 = { git = "https://github.com/prove-rs/z3.rs.git", branch = "master" }
 z3-sys = { git = "https://github.com/prove-rs/z3.rs.git", branch = "master" }
 
-[build-dependencies]
-pkg-config = "0.3.32"