fix k framework install with github token

.github/workflows/ci.yaml

@@ -31,25 +31,45 @@ jobs:
           fetch-depth: 0
           submodules: recursive
 
+      # Download and Extract K Framework
       - name: Download K Framework
         env:
           REPOSITORY_TOKEN: ${{ secrets.REPOSITORY_TOKEN }}
         run: |
+          echo "Downloading K Framework..."
           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
 
+          echo "Validating tarball..."
+          file kframework.tar.gz || { echo "Download failed"; exit 1; }
+
+          echo "Extracting K Framework..."
+          mkdir -p kframework
+          tar -xvzf kframework.tar.gz -C kframework --strip-components=1 || { echo "Extraction failed"; exit 1; }
+          ls -l kframework || { echo "Extraction directory not found"; exit 1; }
+
+          echo "Setting up K Framework..."
+          export PATH=$PATH:$(pwd)/kframework/bin
+
+      # Download and Build KEVM
       - name: Install KEVM
         run: |
+          echo "Downloading KEVM..."
           curl -LO https://github.com/runtimeverification/evm-semantics/releases/download/v1.0/evm.tar.gz
-          tar -xvzf evm.tar.gz
+          
+          echo "Extracting KEVM..."
+          mkdir -p evm
+          tar -xvzf evm.tar.gz -C evm --strip-components=1 || { echo "Extraction failed"; exit 1; }
+          ls -l evm || { echo "EVM directory not found"; exit 1; }
+          
+          echo "Building KEVM..."
           cd evm
           export PATH=$PATH:$(pwd)/bin
           make deps
           make build
 
+      # Run the Formal Verification Job
       - name: Formal Verification with KEVM
         run: |
+          echo "Running formal verification..."
           cd evm
-          krun verification.k
+          krun verification.k || { echo "Formal verification failed"; exit 1; }