fix(ci): install veripb for testing

chrjabs · Jan 21, 2025 · b9676b2 · b9676b2
1 parent bec6e4a
commit b9676b2
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/.github/workflows/pigeons.yml b/.github/workflows/pigeons.yml
@@ -26,11 +26,17 @@ jobs:
       - uses: Swatinem/rust-cache@v2
         with:
           shared-key: "build-test"
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: 3.12
+      - name: Install VeriPB
+        run: pip https://gitlab.com/MIAOresearch/software/VeriPB/-/archive/version2/VeriPB-version2.zip
       - name: Cargo build
         run: cargo build -p pigeons --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p pigeons --verbose
+        run: cargo nextest run --profile ci -p pigeons --verbose
         env:
           CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
diff --git a/.github/workflows/rustsat.yml b/.github/workflows/rustsat.yml
@@ -34,6 +34,12 @@ jobs:
           key: ${{ matrix.rust-version }}
       - name: Install latest nextest release
         uses: taiki-e/install-action@nextest
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: 3.12
+      - name: Install VeriPB
+        run: pip https://gitlab.com/MIAOresearch/software/VeriPB/-/archive/version2/VeriPB-version2.zip
       - name: Cargo build
         run: cargo build -p rustsat --verbose --features=all
         env: