diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index df42342c..c6f32431 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -145,10 +145,10 @@ jobs:
         run: cargo test --manifest-path z3/Cargo.toml -vv --features 'vcpkg arbitrary-size-numeral'
 
   run_clippy:
-    runs-on: ubuntu-latest
+    runs-on: macos-latest
     steps:
     - uses: actions/checkout@v4
-      with:
-        submodules: recursive
+    - name: Install Z3
+      run: brew install z3
     - name: Run clippy
-      run: cargo clippy -vv --features static-link-z3 --all-targets
\ No newline at end of file
+      run: cargo clippy -vv --workspace --all-targets