Build

Tiny bit of cleanup (#723) #1935

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (GQPE78)	1m 12s
build-non-matching (GQPE78)	37s
build-previous (GQPE78)	1m 15s
website	58s
pr-comment	0s
	4m 2s