CI

Add option `proof-elim-subtypes` (#10407) #1708

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production	43m 55s
macos:production-arm64-cross	40m 36s
macos:production-arm64	17m 36s
ubuntu:production-clang	18m 33s
ubuntu:production	20m 2s
ubuntu:production-dbg	27m 57s
win64:production	25m 36s
ubuntu:production-dbg-clang	25m 20s
	3h 39m 35s