update CI

Signed-off-by: Abdul Wadood <abdulwadood.afzal88@gmail.com>
Abdulwadoodd · Feb 14, 2024 · a209bfd · a209bfd
1 parent 8de7967
commit a209bfd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/arch-test.yml b/.github/workflows/arch-test.yml
@@ -25,9 +25,9 @@ jobs:
             tar -xzf riscv64-elf-ubuntu-22.04-gcc-nightly-2024.02.02-nightly.tar.gz
             echo $GITHUB_WORKSPACE/riscv/bin >> $GITHUB_PATH
 
-        - name: Build Spike
+        - name: Build spike
           run: |
             ci-tests/build-spike
             echo  $GITHUB_WORKSPACE/ci-tests/riscv-isa-sim/build/install/bin >> $GITHUB_PATH
-            spike -h
-        
+            pwd
+            ls ci-tests/riscv-isa-sim/build/install/bin