Try different souffle version

plast-lab · Aug 26, 2024 · 8ee4552 · 8ee4552
1 parent 3591297
commit 8ee4552
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -36,7 +36,7 @@ jobs:
       run: |
         sudo wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg
         echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | sudo tee /etc/apt/sources.list.d/souffle.list
-        sudo apt update && sudo apt install souffle=2.4
+        sudo apt update && sudo apt install souffle=2.3
 
     - name: Test Souffle
       run: souffle --version