build

Bogus safety violation checking if a set is a subset of Nat. #7013

Job	Run time
build-mdbook	5s
format-check	3m 52s
docker-tests	22m 39s
compiler-warnings	2m 14s
integration-tests (ubuntu-latest, oopsla19)	19m 21s
integration-tests (ubuntu-latest, arrays)	9m 30s
scaladoc-check	3m 2s
unit-tests (ubuntu-latest)	7m 17s
integration-tests (macos-latest, oopsla19)	21m 1s
unit-tests (macos-latest)	3m 30s
	1h 32m 31s

Provide feedback