Adjust project bootstrap scripts to be windows-friendly #3800

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (ubuntu-20.04)	4m 53s
check (windows-2019)	12m 9s
	17m 2s