Skip to content

Commit

Permalink
Update minizinc test
Browse files Browse the repository at this point in the history
  • Loading branch information
sthiele committed Dec 3, 2023
1 parent 37f2104 commit 717471f
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/minizinc-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,12 @@ jobs:
matrix:
os: [ubuntu-latest]
clingconversion: [5.2.1]
minizincversion: [2.8.0]
minizincversion: [2.8.1]
fzn2lpversion: [v0.1.4]

steps:
- uses: actions/checkout@v2
- uses: conda-incubator/setup-miniconda@v2
- uses: conda-incubator/setup-miniconda@v3
with:
auto-update-conda: true
python-version: ${{ matrix.python-version }}
Expand Down Expand Up @@ -97,6 +97,7 @@ jobs:
run: sed -i 's/"gecode", "cbc", "chuffed"/"flatzingo"/' libminizinc/tests/minizinc_testing/spec.py

- name: Run libminizinc tests
shell: bash -l {0}
run: |
cd libminizinc/tests
pytest -k "not test_output_checker and not test_var_set_element and not bug269 and not bug347 and not test-search1 and not test_vis_ann and not test_vis_custom" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin

0 comments on commit 717471f

Please sign in to comment.