build

Merge pull request #2992 from apalache-mc/igor/z3-stats #7005

Job	Run time
build-mdbook	7s
compiler-warnings	2m 4s
format-check	3m 57s
scaladoc-check	2m 51s
unit-tests (ubuntu-latest)	5m 5s
unit-tests (macos-latest)	3m 31s
docker-tests	21m 12s
integration-tests (ubuntu-latest, oopsla19)	19m 0s
integration-tests (ubuntu-latest, arrays)	9m 11s
integration-tests (macos-latest, oopsla19)	14m 17s
	1h 21m 15s

Provide feedback