CI

Sketching SMTLIB #31615

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos:production-arm64-cross	20m 27s
macos:production	29m 47s
macos:production-arm64	16m 50s
ubuntu:production-arm64-cross	14m 28s
ubuntu:production-dbg-clang	25m 47s
ubuntu:production	19m 34s
ubuntu:production-arm64	19m 1s
ubuntu:production-clang	15m 33s
wasm:production	17m 1s
ubuntu:production-dbg	24m 32s
win64:production-cross	5m 41s
win64:production	27m 54s
	3h 56m 35s