From b9676b228b0c77f3cee69b4da330c06faa26e6df Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Tue, 21 Jan 2025 17:19:31 +0200
Subject: [PATCH] fix(ci): install veripb for testing

---
 .github/workflows/pigeons.yml | 8 +++++++-
 .github/workflows/rustsat.yml | 6 ++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pigeons.yml b/.github/workflows/pigeons.yml
index e55b6354..6ea8e9a9 100644
--- 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
index c8817e27..78471d95 100644
--- 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: