Is your feature request related to a problem? Please describe.
Several different make commands currently generate various areas of code, such as docs. Sometimes these don't all get run, and master can get out of sync with what files would be generated.
Describe the solution you'd like
We should have a quick automatic check on PRs which runs all of the code generation commands. If there's any difference, the check should fail and block the PR. The output should also explain how to run code check locally in order to pass the check on a new push.
Sodman
commented
3 years ago
Is your feature request related to a problem? Please describe. Several different make commands currently generate various areas of code, such as docs. Sometimes these don't all get run, and master can get out of sync with what files would be generated.
Describe the solution you'd like We should have a quick automatic check on PRs which runs all of the code generation commands. If there's any difference, the check should fail and block the PR. The output should also explain how to run code check locally in order to pass the check on a new push.