Skip to content
Snippets Groups Projects

Switch to release versions of parsers and tla2bAST

Passed
dgelessus created pipeline for commit 8aacb419
, finished
7 minutes 38 seconds, queued for 2 seconds