fix k framework install

term-finance · Nov 15, 2024 · edff6b0 · edff6b0
1 parent a21cc95
commit edff6b0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -34,8 +34,8 @@ jobs:
       # Install dependencies for K Framework
       - name: Install K Framework
         run: |
-          curl -LO https://github.com/runtimeverification/k/releases/download/v5.4.0/kframework.tar.gz
-          tar -xvzf kframework.tar.gz
+          curl -LO kframework.tar.gz https://github.com/runtimeverification/k/releases/download/v7.1.170/kframework-7.1.170-src.tar.gz
+          tar -xvzf kframework
           cd kframework
           export PATH=$PATH:$(pwd)/bin
       # Verify KEVM setup