CI

Merge branch 'main' into aletheGranularity #1711

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production	41m 28s
macos:production-arm64-cross	34m 12s
macos:production-arm64	15m 25s
ubuntu:production	18m 22s
ubuntu:production-clang	17m 31s
ubuntu:production-dbg	26m 37s
ubuntu:production-dbg-clang	24m 35s
win64:production	29m 16s
win64:production-cross	26m 34s
	3h 54m 0s