From f6106b8fcac4ba57ef73f7e32846b365d5331528 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 12 Dec 2024 11:01:08 -0600 Subject: [PATCH] testing several clingo versions --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 130b3cd..f19eb69 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -33,7 +33,7 @@ jobs: - name: Clingo version id: clingo-version run: | - echo 'CLINGO_VERSION=$(python -c "import clingo; print(clingo.__version__)")' >> $GITHUB_ENV + echo "CLINGO_VERSION=$(python -c 'import clingo; print(clingo.__version__)')"" >> $GITHUB_ENV - name: Cache nox id: cache-nox