build

Merge pull request #3057 from apalache-mc/th/upgrade-z3 #7160

Job	Run time
compiler-warnings	2m 38s
build-mdbook	3s
format-check	4m 7s
scaladoc-check	3m 2s
unit-tests (ubuntu-latest)	6m 5s
unit-tests (macos-latest)	4m 14s
docker-tests	20m 50s
integration-tests (ubuntu-latest, oopsla19)	18m 32s
integration-tests (ubuntu-latest, arrays)	19m 8s
integration-tests (macos-latest, oopsla19)	19m 16s
	1h 37m 55s

Provide feedback