CI/CD

Update the hint of where to get a lab certificate #1444

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (3.7)	1m 19s
ci (3.8)	1m 19s
ci (3.9)	1m 22s
ci (3.10)	1m 15s
ci (3.11)	1m 15s
ci (3.12)	1m 6s
ci (3.13)	1m 9s
cb	36s
cd	0s
	9m 21s