We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 16ff7e9 commit 11e25f5Copy full SHA for 11e25f5
.github/workflows/ci.yml
@@ -65,8 +65,8 @@ jobs:
65
- name: Install Souffle
66
if: contains(matrix.features, 'polonius-souffle')
67
run: |
68
- curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
69
- sudo apt-get install souffle
+ wget https://github.com/ecstatic-morse/souffle/releases/download/2.0.2-alpha/souffle-2.0.2-Linux.deb
+ sudo apt install ./souffle-2.0.2-Linux.deb
70
71
- name: Install rust toolchain
72
uses: actions-rs/toolchain@v1
0 commit comments