Fix versions

potassco · Jun 15, 2022 · 4b73ce4 · 4b73ce4
1 parent 1223c4f
commit 4b73ce4
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/ci-test.yml b/.github/workflows/ci-test.yml
@@ -14,15 +14,15 @@ jobs:
       - name: Conda install clingo
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingo
+          conda install -c potassco clingo==5.5.2
       - name: Conda install clingo-dl
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingo-dl
+          conda install -c potassco clingo-dl==1.3.0
       - name: Conda install clingcon
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingcon
+          conda install -c potassco clingcon==5.0.0
       - name: Build
         run: |
           export CLINGO_LIBRARY_PATH=/usr/share/miniconda/envs/test/lib
@@ -45,15 +45,15 @@ jobs:
       - name: Conda install clingo
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingo
+          conda install -c potassco clingo==5.5.2
       - name: Conda install clingo-dl
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingo-dl
+          conda install -c potassco clingo-dl==1.3.0
       - name: Conda install clingcon
         shell: bash -l {0}
         run: |
-          conda install -c potassco/label/dev clingcon
+          conda install -c potassco clingcon==5.0.0
       - name: Build
         run: |
           export CLINGO_LIBRARY_PATH=/usr/local/miniconda/envs/test/lib