From 6c67f8c371527b00bb97e3dc3f232fc0425e354a Mon Sep 17 00:00:00 2001
From: aazhou1 <andrew@termfinance.io>
Date: Fri, 15 Nov 2024 15:28:20 -0500
Subject: [PATCH] fix kevm install

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

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index eccf6a4d..8f130579 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -52,9 +52,11 @@ jobs:
 
       # Download and Build KEVM
       - name: Install KEVM
+        env:
+            REPOSITORY_TOKEN: ${{ secrets.REPOSITORY_TOKEN }}
         run: |
           echo "Downloading KEVM..."
-          curl -LO https://github.com/runtimeverification/evm-semantics/releases/download/v1.0/evm.tar.gz
+          curl -H "Authorization: token $REPOSITORY_TOKEN" -L -o evm.tar.gz https://github.com/runtimeverification/evm-semantics/archive/refs/tags/v1.0.753.tar.gz
           
           echo "Extracting KEVM..."
           mkdir -p evm