In general it's a good idea to have our build system generate these files when needed, and not stick them into the repository. That way you avoid them going out of sync, or losing the ability to re-generate them as required.
We already do exactly that with most of our binaries: we ran the equivalent of cargo build in the CI instead of relying on checked in binaries. Let's do that with the other files as well.
We have some generated files like ceno_zkvm/examples/fibonacci.elf in our repository.
In general it's a good idea to have our build system generate these files when needed, and not stick them into the repository. That way you avoid them going out of sync, or losing the ability to re-generate them as required.
We already do exactly that with most of our binaries: we ran the equivalent of
cargo buildin the CI instead of relying on checked in binaries. Let's do that with the other files as well.