CI

Eagerly rewrite bodies of define-fun #30635

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos:production-arm64-cross	8m 14s
macos:production	8m 18s
macos:production-arm64	7m 6s
ubuntu:production-dbg-clang	8m 14s
ubuntu:production	8m 13s
ubuntu:production-clang	6m 30s
ubuntu:production-dbg	8m 13s
ubuntu:production-arm64-cross	4m 39s
wasm:production	6m 18s
win64:production	8m 21s
win64:production-cross	8m 11s
	1h 22m 17s