CI

Configure/use upstream/pushRemote when pushing and pulling #737

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci	8m 29s
test (windows-latest)	4m 11s
test (macos-latest)	1m 19s
	13m 59s