Windows build (develop)

Windows build (develop) #1045

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
webots-build	0s
build (windows-2022)	13m 49s
delete-artifacts (windows-2022)	5s
	13m 54s