CI

Add two options to allow working behind corporate proxies #1326

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	1m 10s
lint	1m 6s
test (ubuntu-latest)	2m 31s
test (macos-latest)	9m 23s
test (windows-latest)	5m 21s
	19m 31s