Tweak minizinc-test

potassco · Oct 26, 2023 · 3b179a7 · 3b179a7
1 parent eab6db5
commit 3b179a7
Showing 1 changed file with 17 additions and 6 deletions.
diff --git a/.github/workflows/minizinc-test.yml b/.github/workflows/minizinc-test.yml
@@ -14,15 +14,25 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
+      - uses: conda-incubator/setup-miniconda@v2
+        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}}-jammy4
+          conda install -c "potassco/label/dev" clingcon=${{matrix.clingconversion}}
+      # - name: Install clingcon
+      #   run: |
+      #     sudo add-apt-repository ppa:potassco/wip
+      #     sudo apt-get update
+      #     sudo apt-get install clingcon=${{matrix.clingconversion}}-jammy4
 
       - name: Test clingcon
-        run: clingcon --version
+        shell: bash -l {0}
+        run: |
+          clingcon --version
 
       - name: Install MiniZinc
         run: |
@@ -37,8 +47,9 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: "potassco/fzn2lp"
-          ref: ${{ matrix.fzn2lpversion }}
+          # ref: ${{ matrix.fzn2lpversion }}
           path: "fzn2lp"
+          ref: "st/winnow"
 
       - name: Build fzn2lp with current flatzinc
         run: |