Skip to content
Snippets Groups Projects
Commit 8aacb419 authored by dgelessus's avatar dgelessus
Browse files

Switch to release versions of parsers and tla2bAST

parent 37375ccb
Checking pipeline status