windows port

tools/ci.sh: Add makeopts to make. #84

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mingw (dev, mingw64)	3m 4s
cross-build-on-linux	57s
build-mingw (standard, mingw32)	3m 19s
build-mingw (standard, mingw64)	3m 23s
build-mingw (dev, mingw32)	3m 12s
build-vs (x86, Release, dev, 2019)	13m 48s
build-vs (x86, Release, standard, 2019)	9m 37s
build-vs (x64, Debug, dev, 2022)	1m 33s
build-vs (x86, Release, dev, 2017)	9m 23s
build-vs (x86, Debug, dev, 2022)	1m 41s
build-vs (x64, Release, standard, 2022)	1m 22s
build-vs (x86, Debug, dev, 2017)	9m 8s
build-vs (x86, Release, dev, 2022)	1m 46s
build-vs (x64, Debug, dev, 2017)	6m 58s
build-vs (x86, Release, standard, 2017)	8m 4s
build-vs (x86, Release, standard, 2022)	1m 57s
build-vs (x64, Release, standard, 2017)	7m 22s
build-vs (x64, Release, dev, 2022)	1m 36s
build-vs (x64, Release, dev, 2019)	10m 51s
build-vs (x64, Release, standard, 2019)	8m 52s
build-vs (x64, Release, dev, 2017)	7m 6s
	1h 54m 59s