build

use pg17 for benchmarking #1209

Job	Run time
build_lantern (ubuntu-22.04, 12)	1m 28s
build_lantern (ubuntu-22.04, 13)	2m 6s
build_lantern (ubuntu-22.04, 14)	1m 48s
build_lantern (ubuntu-22.04, 15)	1m 47s
build_lantern (ubuntu-22.04, 16)	1m 42s
build_extras (ubuntu-22.04, 12)	10m 8s
build_lantern (ubuntu-22.04, 17)	2m 3s
build_extras (ubuntu-22.04, 13)	10m 1s
build_lantern (ubicloud-standard-4-arm, 12)	1m 45s
build_extras (ubuntu-22.04, 14)	10m 4s
build_lantern (ubicloud-standard-4-arm, 13)	2m 14s
build_extras (ubuntu-22.04, 15)	10m 15s
build_lantern (ubicloud-standard-4-arm, 14)	2m 11s
build_extras (ubuntu-22.04, 16)	10m 19s
build_lantern (ubicloud-standard-4-arm, 15)	1m 58s
build_extras (ubuntu-22.04, 17)	15m 39s
build_lantern (ubicloud-standard-4-arm, 16)	2m 22s
build_extras (ubicloud-standard-4-arm, 12)	15m 7s
build_extras (ubicloud-standard-4-arm, 13)	15m 16s
build_lantern (ubicloud-standard-4-arm, 17)	2m 10s
build_extras (ubicloud-standard-4-arm, 14)	15m 24s
build_lantern (macos-13, 12)	1m 43s
build_lantern (macos-13, 13)	2m 18s
build_extras (ubicloud-standard-4-arm, 15)	14m 49s
build_lantern (macos-13, 14)	1m 54s
build_extras (ubicloud-standard-4-arm, 16)	15m 6s
build_lantern (macos-13, 15)	3m 6s
build_extras (ubicloud-standard-4-arm, 17)	22m 54s
build_lantern (macos-13, 16)	2m 34s
build_extras (macos-13, 12)	21m 12s
build_lantern (macos-13, 17)	2m 25s
build_extras (macos-13, 13)	23m 27s
build_extras (macos-13, 14)	30m 26s
build_extras (macos-13, 15)	23m 57s
build_extras (macos-13, 16)	20m 0s
build_extras (macos-13, 17)	30m 32s
package	0s
	5h 52m 10s

Provide feedback