Back to pull request #633

chore: version v0.47.0 #1545

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	19m 12s
build	19m 12s
build	19m 12s
test	35m 36s
test	35m 36s
test	35m 36s
check	10m 3s
check	10m 3s
check	10m 3s
correctness-tests	4m 21s
correctness-tests	4m 24s
correctness-tests	6m 3s
	3h 29m 21s