hacspec icon indicating copy to clipboard operation
hacspec copied to clipboard

Keep generated files up to date

Open cmester0 opened this issue 2 years ago • 2 comments

Since people are beginning to look at the generated files, we should have some way to keep these up to date, preferably without cluttering pull requests with updates to generated files. #232 may be relevant for this too.

cmester0 avatar Apr 04 '22 16:04 cmester0

One option is to have a GitHub Action which regenerates the files, which can be triggered when any of the input files are touched.

It can run the codegen and open a PR if any of the generated files have been changed.

tarcieri avatar Apr 04 '22 16:04 tarcieri

👍🏻 yes, we should put the code generation into a GH action. This will need some setup work that's necessary for running backend tests anyway. There's #154 that I meant to tackle for a while ...

franziskuskiefer avatar Apr 05 '22 07:04 franziskuskiefer