Merge pull request #8 from clash-lang/check-vexriscv.v

Check whether committed VexRiscv.v corresponds to generated one
clash-lang · Sep 29, 2023 · e21bc16 · e21bc16
2 parents 72cf31b + 2e83fc6
commit e21bc16
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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