build

Merge pull request #3013 from apalache-mc/release/0.47.0 #7047

Job	Run time
build-mdbook	5s
compiler-warnings	3m 4s
format-check	3m 57s
scaladoc-check	2m 55s
docker-tests	20m 38s
integration-tests (ubuntu-latest, oopsla19)	18m 21s
unit-tests (ubuntu-latest)	4m 21s
integration-tests (ubuntu-latest, arrays)	14m 46s
unit-tests (macos-latest)	4m 30s
integration-tests (macos-latest, oopsla19)	21m 3s
	1h 33m 40s

Provide feedback