windows port

tools/ci.sh: Change tools download path to $HOME. #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mingw (standard, mingw32)	3m 54s
build-mingw (standard, mingw64)	3m 49s
build-mingw (dev, mingw32)	4m 14s
cross-build-on-linux	59s
build-mingw (dev, mingw64)	3m 29s
build-vs (x86, Debug, dev, 2017)	7m 4s
build-vs (x86, Release, dev, 2022)	1m 43s
build-vs (x86, Release, standard, 2017)	8m 36s
build-vs (x64, Debug, dev, 2017)	8m 46s
build-vs (x86, Release, standard, 2019)	9m 1s
build-vs (x64, Release, dev, 2022)	1m 58s
build-vs (x86, Release, standard, 2022)	1m 49s
build-vs (x86, Release, dev, 2019)	9m 44s
build-vs (x64, Release, dev, 2017)	7m 29s
build-vs (x64, Release, dev, 2019)	9m 54s
build-vs (x64, Debug, dev, 2022)	1m 39s
build-vs (x86, Debug, dev, 2022)	1m 45s
build-vs (x64, Release, standard, 2019)	10m 9s
build-vs (x86, Release, dev, 2017)	9m 1s
build-vs (x64, Release, standard, 2022)	2m 22s
build-vs (x64, Release, standard, 2017)	7m 23s
	1h 54m 48s