Skip to content

Merge pull request #1510 from informalsystems/grammar-update #3655

Merge pull request #1510 from informalsystems/grammar-update

Merge pull request #1510 from informalsystems/grammar-update #3655

Annotations

4 warnings

quint-vscode-plugin (macos-latest)

succeeded Oct 28, 2024 in 3m 29s