Configure CI for released PG17 #2380

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, 17, Release)	7m 36s
build (ubuntu-22.04, 17, Release)	7m 36s
build (ubuntu-22.04, 16, Release)	7m 24s
build (ubuntu-22.04, 16, Release)	25s
build (ubuntu-22.04, 15, Release)	7m 21s
build (ubuntu-22.04, 15, Release)	7m 21s
build (ubuntu-22.04, 14, Release)	7m 24s
build (ubuntu-22.04, 14, Release)	7m 24s
build (ubuntu-22.04, 13, Release)	6m 59s
build (ubuntu-22.04, 13, Release)	6m 59s
build (ubuntu-22.04, 12, Release)	6m 57s
build (ubuntu-22.04, 12, Release)	6m 57s
build (windows-2022, 17, Release)	1m 55s
build (windows-2022, 17, Release)	1m 15s
build (windows-2022, 16, Release)	8m 12s
build (windows-2022, 16, Release)	8m 12s
build (windows-2022, 15, Release)	8m 50s
build (windows-2022, 15, Release)	8m 50s
build (windows-2022, 14, Release)	8m 34s
build (windows-2022, 14, Release)	8m 34s
build (windows-2022, 13, Release)	8m 25s
build (windows-2022, 13, Release)	8m 25s
build (windows-2022, 12, Release)	8m 39s
build (windows-2022, 12, Release)	8m 39s
build (ubuntu-22.04, 17, Debug)	6m 53s
build (ubuntu-22.04, 17, Debug)	6m 53s
publish-ci	0s
publish-ci	0s
release	0s
release	0s
	3h 2m 39s