Merge pull request #2994 from apalache-mc/release/0.45.6 #6994

Job	Run time
build-mdbook	4s
compiler-warnings	2m 16s
docker-tests	21m 43s
format-check	4m 1s
integration-tests (ubuntu-latest, oopsla19)	19m 30s
integration-tests (ubuntu-latest, arrays)	8m 26s
scaladoc-check	2m 59s
unit-tests (ubuntu-latest)	4m 24s
integration-tests (macos-latest, oopsla19)	13m 9s
unit-tests (macos-latest)	4m 55s
	1h 21m 27s

Provide feedback