Skip to content

Commit d90fed1

Browse files
Temporarily use self-hosted Souffle release
1 parent d1e85c9 commit d90fed1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/ci.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,8 @@ jobs:
6565
- name: Install Souffle
6666
if: contains(matrix.features, 'polonius-souffle')
6767
run: |
68-
curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
69-
sudo apt-get install souffle
68+
wget https://github.com/ecstatic-morse/souffle/releases/download/2.0.2-alpha/souffle-2.0.2-Linux.deb
69+
sudo apt install ./souffle-2.0.2-Linux.deb
7070
7171
- name: Install rust toolchain
7272
uses: actions-rs/toolchain@v1

0 commit comments

Comments
 (0)