search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Print out tool version info in CI #88

Closed ahelwer closed 1 year ago

ahelwer commented 1 year ago

Related: https://github.com/tree-sitter/py-tree-sitter/issues/148