build

Merge pull request #3050 from apalache-mc/release/0.47.2 #7145

Job	Run time
build-mdbook	5s
compiler-warnings	2m 10s
docker-tests	22m 0s
format-check	3m 48s
integration-tests (ubuntu-latest, oopsla19)	20m 12s
scaladoc-check	2m 59s
unit-tests (ubuntu-latest)	5m 28s
integration-tests (ubuntu-latest, arrays)	10m 47s
unit-tests (macos-latest)	4m 19s
integration-tests (macos-latest, oopsla19)	12m 59s
	1h 24m 47s

Provide feedback