diff --git a/.github/workflows/arch-test.yml b/.github/workflows/arch-test.yml
index ad64070b6..89af65995 100644
--- a/.github/workflows/arch-test.yml
+++ b/.github/workflows/arch-test.yml
@@ -27,6 +27,7 @@ jobs:
         
         - name: Run RV32E
           run: |
+            ls riscv/bin
             cd ci-tests/riscof
             riscof arch-test --clone
             sed -i 's/\(ispec=\)\(.*\)/\1spike\/spike_isa32e.yaml/' config.ini