build

Fix conversion of Quint nullary polymorphic operators #7111

Job	Run time
compiler-warnings	2m 6s
docker-tests	22m 4s
build-mdbook	6s
format-check	4m 3s
scaladoc-check	2m 49s
integration-tests (ubuntu-latest, oopsla19)	19m 44s
unit-tests (ubuntu-latest)	5m 4s
integration-tests (ubuntu-latest, arrays)	8m 46s
unit-tests (macos-latest)	4m 6s
integration-tests (macos-latest, oopsla19)	15m 11s
	1h 23m 59s

Provide feedback