Merge branch 'main' into updateAlethe0 #1775

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production-arm64	15m 55s
macos:production	37m 5s
macos:production-arm64-cross	26m 14s
ubuntu:production	21m 11s
ubuntu:production-arm64-cross	18m 37s
ubuntu:production-clang	18m 44s
ubuntu:production-dbg	32m 32s
ubuntu:production-dbg-clang	22m 50s
win64:production	29m 17s
win64:production-cross	26m 6s
	4h 8m 31s