From 4b73ce48979dd83d28bede6d2b6145d8d91fcd0b Mon Sep 17 00:00:00 2001
From: Sven Thiele <sthiele78@gmail.com>
Date: Wed, 15 Jun 2022 21:51:02 +0200
Subject: [PATCH] Fix versions

---
 .github/workflows/ci-test.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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