Update ci

potassco · Dec 8, 2023 · 29562f5 · 29562f5
1 parent fe74703
commit 29562f5
Showing 1 changed file with 15 additions and 13 deletions.
diff --git a/.github/workflows/minizinc-test.yml b/.github/workflows/minizinc-test.yml
@@ -8,20 +8,25 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        clingconversion: [5.1.0]
-        minizincversion: [2.6.3]
+        clingconversion: [5.2.1]
+        minizincversion: [2.8.1]
 
     steps:
       - uses: actions/checkout@v2
+      - uses: conda-incubator/setup-miniconda@v3
+        with:
+          auto-update-conda: true
+          python-version: ${{ matrix.python-version }}
 
-      - name: Install clingcon
+      - name: Conda install clingcon
+        shell: bash -l {0}
         run: |
-          sudo add-apt-repository ppa:potassco/wip
-          sudo apt-get update
-          sudo apt-get install clingcon=${{ matrix.clingconversion }}-focal6
+          conda install -c "potassco/label/dev" clingcon=${{matrix.clingconversion}}
 
       - name: Test clingcon
-        run: clingcon --version
+        shell: bash -l {0}
+        run: |
+          clingcon --version
 
       - name: Install MiniZinc
         run: |
@@ -59,7 +64,7 @@ jobs:
         run: |
           sudo apt-get install -y python3-pip
           pip3 install pytest
-          pip3 install --extra-index-url https://test.pypi.org/simple/ clingcon==${{ matrix.clingconversion }}.post5
+          pip3 install --extra-index-url https://test.pypi.org/simple/ clingcon==${{ matrix.clingconversion }}.post4
 
       - name: Test flatzingo
         run: |
@@ -73,17 +78,14 @@ jobs:
           ref: ${{ matrix.minizincversion }}
           path: "libminizinc"
 
-      - name: Patch libminizinc 2.6.3
-        run: |
-            sed -i 's/develop/0.6.0/' libminizinc/tests/requirements.txt
-
       - name: Install libminizinc test requirements
         run: pip3 install -r libminizinc/tests/requirements.txt
 
       - name: Prepare libminizinc testcases
         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" --driver=../../MiniZincIDE-${{ matrix.minizincversion }}-bundle-linux-x86_64/bin
+          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