give more lemmas (for intermediate integer reasoning and trusted lemmas) #1760

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production	1h 10m 17s
ubuntu:production	6m 40s
ubuntu:production-dbg	9m 19s
macos:production-arm64	59m 36s
ubuntu:production-clang	5m 37s
ubuntu:production-dbg-clang	11m 35s
win64:production	2m 34s
	2h 45m 38s