From edff6b081039aed43f2f11a78a9a86202549f5a8 Mon Sep 17 00:00:00 2001
From: aazhou1 <andrew@termfinance.io>
Date: Fri, 15 Nov 2024 14:52:08 -0500
Subject: [PATCH] fix k framework install

---
 .github/workflows/ci.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c35c2c63..bec35d0f 100644
--- 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