Back to pull request #612

chore: automatically select release level #1453

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	9m 25s
check	9m 25s
build	19m 0s
build	19m 0s
test	33m 41s
test	33m 41s
correctness-tests	10m 6s
correctness-tests	3m 47s
	2h 18m 5s