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
The convert.py script only checks if there is already a corresponding JSON / YAML file, not if they contain the same information.
So if you add operators to an already existing basis, then run the convert script, the changes don't get propogated.
Not huge issue since it's pretty obvious to pick up on in a PR, but I guess ideally there'd be some form of checking the operators in each one to see which is the more/less complete and therefore which form needs regenerating.
The text was updated successfully, but these errors were encountered:
I'm not sure it's worth reading the existing files and comparing everything. Seems more like a documentation/logging issue to make users aware that they should delete existing files if they want to regenerate the JSONs?
The convert.py script only checks if there is already a corresponding JSON / YAML file, not if they contain the same information.
So if you add operators to an already existing basis, then run the convert script, the changes don't get propogated.
Not huge issue since it's pretty obvious to pick up on in a PR, but I guess ideally there'd be some form of checking the operators in each one to see which is the more/less complete and therefore which form needs regenerating.
The text was updated successfully, but these errors were encountered: