Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Outdated schema #18

Closed
jncfa opened this issue Jul 29, 2024 · 2 comments
Closed

Outdated schema #18

jncfa opened this issue Jul 29, 2024 · 2 comments
Assignees

Comments

@jncfa
Copy link

jncfa commented Jul 29, 2024

As the title indicates, the schema on master is outdated since this commit was introduced: 80aaeb9

I can make an MR to regenerate this and fix this file, but would it be possible to consider some solution that forces this file to always be up to date? Maybe a job on the pipeline that checks for it and maybe auto-generates it?

@koonpeng
Copy link
Member

Thank you for reporting the issue, I agree that the CI is lacking, we should have a test to check if the schema is changed. I will see what I can do to improve it.

@koonpeng
Copy link
Member

koonpeng commented Aug 1, 2024

fixed by #19

@koonpeng koonpeng closed this as completed Aug 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants