build

Merge pull request #3046 from apalache-mc/igor/tmpdir #7127

Job	Run time
build-mdbook	5s
compiler-warnings	2m 13s
format-check	3m 49s
docker-tests	21m 39s
integration-tests (ubuntu-latest, oopsla19)	19m 3s
scaladoc-check	3m 0s
integration-tests (ubuntu-latest, arrays)	10m 43s
unit-tests (ubuntu-latest)	5m 6s
integration-tests (macos-latest, oopsla19)	13m 56s
unit-tests (macos-latest)	3m 50s
	1h 23m 24s

Provide feedback