diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c8f0802..ac61ed8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -141,10 +141,16 @@ jobs:
           curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | apt-key add
           apt-get update
           apt-get install sbt -y
+      - name: Stash existing VexRiscv.v
+        run: |
+          cp clash-vexriscv/example-cpu/VexRiscv.v clash-vexriscv/example-cpu/VexRiscv.v.comitted
       - name: Build clash-vexriscv
         run: |
           export PKG_CONFIG_PATH=/opt/share/pkgconfig/:${PKG_CONFIG_PATH}
           cabal build clash-vexriscv
+      - name: Check whether committed VexRiscv.v corresponds to generated one
+        run: |
+          diff -u clash-vexriscv/example-cpu/VexRiscv.v clash-vexriscv/example-cpu/VexRiscv.v.comitted
       - name: Build clash-vexriscv-sim
         run: |
           cabal build clash-vexriscv-sim