Skip to content

Change tuple structure #3547

Change tuple structure

Change tuple structure #3547

Annotations

5 warnings

quint-vscode-plugin (ubuntu-latest)

succeeded Sep 24, 2024 in 3m 15s