Skip to content

Merge pull request #1562 from informalsystems/gabriela/counting-witne… #3715

Merge pull request #1562 from informalsystems/gabriela/counting-witne…

Merge pull request #1562 from informalsystems/gabriela/counting-witne… #3715

Annotations

4 warnings

quint-vscode-plugin (ubuntu-latest)

succeeded Jan 24, 2025 in 3m 11s