feat: Add schema generation to GitHub Actions #5683
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Why is this change necessary?
With the new schema generation logic, we want to ensure that the script runs in such a way as to keep the schema up to date with the current changes.
How does it address the issue?
A new GitHub Actions workflow has been created to run the schema generation script once per weekday, check if the schema has been altered in any way, and if it has, open a PR to make the necessary changes.
What side effects does this change have?
At least once every weekday, if the generated schema is changed in any way, a PR will be raised to update it.
Mandatory Checklist
PRs will only be reviewed after checklist is complete
make pr
passesmake update-reproducible-reqs
if dependencies were changedBy submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.