CI

Add option `--proof-alethe-experimental` (#10539) #1752

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production-arm64-cross	38m 27s
macos:production	48m 49s
macos:production-arm64	19m 7s
ubuntu:production	21m 31s
ubuntu:production-arm64-cross	19m 20s
ubuntu:production-dbg	31m 21s
ubuntu:production-clang	18m 28s
ubuntu:production-dbg-clang	23m 53s
win64:production	21m 36s
win64:production-cross	26m 45s
	4h 29m 17s