tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Check whether grammar & code are in sync in CI workflow #12

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Having already been bitten by my grammar & generated code being out of sync from the very first time they were committed to the repo, this adds a check to the CI workflow to test whether running tree-sitter generate results in any changes to the generated files; if so, pull request merges will be blocked.