ansible: allow to set proxy when config repos #525

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	2m 34s
Build (stable)	6m 10s
Build (beta)	5m 28s
Build (nightly)	6m 37s
Build (1.72)	6m 48s
	27m 37s