diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/unit_tests.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/unit_tests.yaml b/.github/workflows/unit_tests.yaml index 828cc44773..ad70cd82ee 100644 --- a/.github/workflows/unit_tests.yaml +++ b/.github/workflows/unit_tests.yaml @@ -145,7 +145,7 @@ jobs: shell: runuser -u spack-test -- bash {0} run: | source share/spack/setup-env.sh - spack -d solve zlib + spack -d bootstrap now --dev spack unit-test -k 'not cvs and not svn and not hg' -x --verbose # Test for the clingo based solver (using clingo-cffi) clingo-cffi: |