Skip to content

Merge pull request #1528 from informalsystems/vscode-release/0.14.7 #3621

Merge pull request #1528 from informalsystems/vscode-release/0.14.7

Merge pull request #1528 from informalsystems/vscode-release/0.14.7 #3621

Annotations

4 warnings

quint-vscode-plugin (macos-latest)

succeeded Oct 8, 2024 in 4m 19s