Skip to content

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… #7123

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-…

Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… #7123

Annotations

1 warning

unit-tests (ubuntu-latest)

succeeded Dec 13, 2024 in 5m 24s