Make sure checked in `VexRiscv.v` matches the one generated during CI
cuddlefishie opened this issue · 0 comments
cuddlefishie commented
Committing this file to the repository means Cabal can access it properly as a data-file
and downstream packages get a reliable proper copy of it too.
The check on CI would make sure that the file doesn't become outdated over time.