attempt to fix ci

chrjabs · Apr 2, 2024 · 4bdbef7 · 4bdbef7
1 parent 46aea5c
commit 4bdbef7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/cadical.yml b/.github/workflows/cadical.yml
@@ -28,6 +28,8 @@ jobs:
         run: cargo build -p rustsat-cadical --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+      - name: Clean
+        run: cargo clean -p rustsat --verbose
       - name: Cargo test
         run: cargo test -p rustsat-cadical --verbose
         env: