clean rustsat package as ci workaround

chrjabs · Apr 2, 2024 · 1e222fa · 1e222fa
1 parent 46aea5c
commit 1e222fa
Show file tree

Hide file tree

Showing 4 changed files with 8 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 to work around issues
+        run: cargo clean -p rustsat --verbose
       - name: Cargo test
         run: cargo test -p rustsat-cadical --verbose
         env:

diff --git a/.github/workflows/glucose.yml b/.github/workflows/glucose.yml
@@ -28,6 +28,8 @@ jobs:
         run: cargo build -p rustsat-glucose --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+      - name: Clean to work around issues
+        run: cargo clean -p rustsat --verbose
       - name: Cargo test
         run: cargo test -p rustsat-glucose --verbose
         env:

diff --git a/.github/workflows/kissat.yml b/.github/workflows/kissat.yml
@@ -28,6 +28,8 @@ jobs:
         run: cargo build -p rustsat-kissat --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+      - name: Clean to work around issues
+        run: cargo clean -p rustsat --verbose
       - name: Cargo test
         run: cargo test -p rustsat-kissat --verbose
         env:

diff --git a/.github/workflows/minisat.yml b/.github/workflows/minisat.yml
@@ -28,6 +28,8 @@ jobs:
         run: cargo build -p rustsat-minisat --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+      - name: Clean to work around issues
+        run: cargo clean -p rustsat --verbose
       - name: Cargo test
         run: cargo test -p rustsat-minisat --verbose
         env: