Skip to content

Merge pull request #1539 from informalsystems/vscode-release/0.14.9 #3659

Merge pull request #1539 from informalsystems/vscode-release/0.14.9

Merge pull request #1539 from informalsystems/vscode-release/0.14.9 #3659

Annotations

4 warnings

quint-vscode-plugin (macos-latest)

succeeded Oct 28, 2024 in 4m 55s