Skip to content

tools: add support for top-level await syntax in linter

Rodrigo Muino Tomonari requested to merge github/fork/aduh95/tla-lint into master

Merge request reports

Loading