build

Merge pull request #2969 from apalache-mc/igor/powset-message #6928

Job	Run time
docker-tests	22m 11s
build-mdbook	6s
format-check	3m 45s
compiler-warnings	2m 2s
integration-tests (ubuntu-latest, oopsla19)	19m 0s
scaladoc-check	2m 47s
unit-tests (ubuntu-latest)	6m 22s
integration-tests (ubuntu-latest, arrays)	9m 21s
unit-tests (macos-latest)	3m 26s
integration-tests (macos-latest, oopsla19)	12m 21s
	1h 21m 21s

Provide feedback