windows port

tools/ci.sh: Change to $HOME again. #90

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mingw (standard, mingw64)	2m 59s
cross-build-on-linux	52s
build-mingw (dev, mingw64)	3m 20s
build-mingw (standard, mingw32)	4m 11s
build-mingw (dev, mingw32)	4m 11s
build-vs (x86, Debug, dev, 2017)	3m 54s
build-vs (x86, Release, dev, 2019)	4m 11s
build-vs (x86, Release, standard, 2017)	4m 11s
build-vs (x86, Debug, dev, 2022)	4m 11s
build-vs (x64, Release, standard, 2022)	4m 12s
build-vs (x64, Debug, dev, 2022)	4m 12s
build-vs (x86, Release, dev, 2022)	4m 11s
build-vs (x64, Release, dev, 2019)	4m 12s
build-vs (x64, Debug, dev, 2017)	3m 40s
build-vs (x64, Release, dev, 2022)	4m 12s
build-vs (x86, Release, standard, 2019)	4m 11s
build-vs (x86, Release, dev, 2017)	4m 11s
build-vs (x64, Release, dev, 2017)	4m 12s
build-vs (x64, Release, standard, 2019)	4m 12s
build-vs (x64, Release, standard, 2017)	4m 12s
build-vs (x86, Release, standard, 2022)	4m 12s
	1h 21m 49s