diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
index e80bb4ef1..6ada085c7 100644
--- a/.github/workflows/install.yml
+++ b/.github/workflows/install.yml
@@ -142,6 +142,7 @@ jobs:
         run: |
               source setup.sh
               lint-wally
+              wsim rv32i arch32i --sim verilator
       # Upload regression logs for debugging
       - name: Upload regression logs
         uses: actions/upload-artifact@v4