Skip to content

Change tuple structure #3547

Change tuple structure

Change tuple structure #3547

Annotations

4 warnings

quint-vscode-plugin (macos-latest)

succeeded Sep 24, 2024 in 5m 44s