Skip to content

Merge pull request #1596 from skade/patch-1 #3736

Merge pull request #1596 from skade/patch-1

Merge pull request #1596 from skade/patch-1 #3736

Annotations

3 warnings

quint-vscode-plugin (ubuntu-latest)

succeeded Feb 26, 2025 in 3m 24s