fix k framework install with github token

.github/workflows/ci.yaml

@@ -31,28 +31,25 @@ 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: |
           curl -H "Authorization: token $REPOSITORY_TOKEN" -L -o kframework.tar.gz https://github.com/runtimeverification/k/releases/download/v7.1.170/kframework-7.1.170-src.tar.gz
           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