diff --git a/.github/workflows/windows-cpp.yml b/.github/workflows/windows-cpp.yml index 9b7a5f64761..7007995dd09 100644 --- a/.github/workflows/windows-cpp.yml +++ b/.github/workflows/windows-cpp.yml @@ -71,6 +71,7 @@ jobs: -DBUILD_SAMPLES=OFF -DCMAKE_INSTALL_PREFIX="install" -DBUILD_FLATZINC=OFF + -DUSE_SIRIUS=${{ matrix.sirius }} - name: Build run: >