tlaplus-community / tree-sitter-tlaplus

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

Check that generated file tree-sitter-tlaplus.wasm is current in CI #27

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Validates that the generated file docs/js/tree-sitter-tlaplus.wasm is current Uses Emscripten 2.0.16 on Windows Improved corpus test output with list of files Fixes #26