chore: minor optimisation (#841) #3187

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-website	19s
build-test	6m 51s
check-rust	7m 17s
test 1/8	4m 14s
test 2/8	3m 16s
test 3/8	2m 7s
test 4/8	3m 30s
test 5/8	3m 25s
test 6/8	2m 56s
test 7/8	1m 52s
test 8/8	1m 33s
	37m 20s