build

protect against SANY race conditions on the filesystem #7119

Job	Run time
build-mdbook	5s
docker-tests	7m 14s
compiler-warnings	2m 9s
format-check	3m 48s
integration-tests (ubuntu-latest, oopsla19)	19m 13s
scaladoc-check	3m 1s
unit-tests (ubuntu-latest)	6m 17s
integration-tests (ubuntu-latest, arrays)	10m 31s
unit-tests (macos-latest)	4m 17s
integration-tests (macos-latest, oopsla19)	12m 46s
	1h 9m 21s

Provide feedback