windows port

docs/reference/packages: Fix description of --target option in mip. #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mingw (dev, mingw32)	3m 7s
cross-build-on-linux	32s
build-mingw (dev, mingw64)	3m 38s
build-mingw (standard, mingw32)	3m 18s
build-vs (x86, Debug, dev, 2017)	7m 9s
build-mingw (standard, mingw64)	3m 13s
build-vs (x86, Debug, dev, 2022)	1m 21s
build-vs (x86, Release, dev, 2017)	7m 22s
build-vs (x86, Release, dev, 2019)	2m 15s
build-vs (x86, Release, dev, 2022)	2m 15s
build-vs (x86, Release, standard, 2017)	8m 18s
build-vs (x86, Release, standard, 2019)	1m 18s
build-vs (x86, Release, standard, 2022)	2m 8s
build-vs (x64, Debug, dev, 2017)	8m 24s
build-vs (x64, Debug, dev, 2022)	2m 1s
build-vs (x64, Release, dev, 2017)	5m 24s
build-vs (x64, Release, dev, 2019)	1m 27s
build-vs (x64, Release, dev, 2022)	2m 2s
build-vs (x64, Release, standard, 2017)	8m 53s
build-vs (x64, Release, standard, 2019)	1m 56s
build-vs (x64, Release, standard, 2022)	1m 27s
	1h 17m 28s