Skip to content

Run corpus of TLA+ syntax tests in simple pass/fail manner #125

Run corpus of TLA+ syntax tests in simple pass/fail manner

Run corpus of TLA+ syntax tests in simple pass/fail manner #125

Annotations

2 errors

Build & Test (ubuntu-latest, 5.1.0)

cancelled Oct 24, 2024 in 9m 43s