diff --git a/.github/workflows/ci-test.yml b/.github/workflows/ci-test.yml index 0592891..4429997 100644 --- 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