diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index 2b573dd..d86a298 100644 --- 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