You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: