Temporarily use self-hosted Souffle release

rust-lang · Oct 12, 2021 · 11e1a00 · 11e1a00
1 parent 4e46d16
commit 11e1a00
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -65,8 +65,8 @@ jobs:
       - name: Install Souffle
         if: contains(matrix.features, 'polonius-souffle')
         run: |
-          curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
-          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
 
       - name: Install rust toolchain
         uses: actions-rs/toolchain@v1