Skip to content

Merge pull request #1522 from lucab/ups/grammar-hashbang #3599

Merge pull request #1522 from lucab/ups/grammar-hashbang

Merge pull request #1522 from lucab/ups/grammar-hashbang #3599

Annotations

5 warnings

quint-vscode-plugin (ubuntu-latest)

succeeded Oct 3, 2024 in 3m 9s