Skip to content

Merge pull request #1553 from informalsystems/gabriela/fix-init-n-traces #3670

Merge pull request #1553 from informalsystems/gabriela/fix-init-n-traces

Merge pull request #1553 from informalsystems/gabriela/fix-init-n-traces #3670

Annotations

4 warnings

quint-vscode-plugin (macos-latest)

succeeded Nov 19, 2024 in 6m 12s