fixed activation of shaded profile #12

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (true)	3m 59s
verify (true)	3m 55s
verify (false)	4m 10s
verify (false)	3m 45s
	15m 49s