From fdde143b564a3cabeeab7ba06f10d84a8a2cc044 Mon Sep 17 00:00:00 2001
From: aazhou1 <andrew@termfinance.io>
Date: Fri, 15 Nov 2024 15:18:01 -0500
Subject: [PATCH] fix k framework install with github token

---
 .github/workflows/ci.yaml | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 8c51487a..ec3d3052 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -31,8 +31,7 @@ jobs:
           fetch-depth: 0
           submodules: recursive
 
-      # Install dependencies for K Framework
-     - name: Download K Framework
+      - name: Download K Framework
         env:
           REPOSITORY_TOKEN: ${{ secrets.REPOSITORY_TOKEN }}
         run: |
@@ -40,19 +39,17 @@ jobs:
           tar -xvzf kframework.tar.gz
           cd kframework
           export PATH=$PATH:$(pwd)/bin
-      # Verify KEVM setup
+
       - name: Install KEVM
         run: |
           curl -LO https://github.com/runtimeverification/evm-semantics/releases/download/v1.0/evm.tar.gz
           tar -xvzf evm.tar.gz
           cd evm
           export PATH=$PATH:$(pwd)/bin
-          make deps  # Install KEVM dependencies
-          make build # Build KEVM
+          make deps
+          make build
 
-      # Run the formal verification job
       - name: Formal Verification with KEVM
         run: |
           cd evm
-          # Assuming `verification.k` exists and contains the formal specification
-          krun verification.k
+          krun verification.k
\ No newline at end of file