use pg17 for benchmarking #1210

Job	Run time
test_extras (ubuntu-22.04, 15)	12m 28s
test_extras (ubuntu-22.04, 17)	13m 33s
test_extras (ubicloud-standard-4-arm, 15)	2m 34s
test_extras (ubicloud-standard-4-arm, 17)	1m 55s
test_lantern (ubuntu-22.04, 12)	23m 40s
test_lantern (ubuntu-22.04, 13)	25m 39s
test_lantern (ubuntu-22.04, 14)	28m 12s
test_lantern (ubuntu-22.04, 15)	24m 45s
test_lantern (ubuntu-22.04, 16)	25m 30s
test_lantern (ubuntu-22.04, 17)	16m 39s
test_lantern (ubicloud-standard-4-arm, 12)	22m 18s
test_lantern (ubicloud-standard-4-arm, 13)	29m 57s
test_lantern (ubicloud-standard-4-arm, 14)	13m 6s
test_lantern (ubicloud-standard-4-arm, 15)	21m 0s
test_lantern (ubicloud-standard-4-arm, 16)	13m 53s
test_lantern (ubicloud-standard-4-arm, 17)	19m 14s
test_lantern (macos-13, 12)	3m 17s
test_lantern (macos-13, 13)	5m 1s
test_lantern (macos-13, 14)	6m 13s
test_lantern (macos-13, 15)	4m 54s
test_lantern (macos-13, 16)	5m 43s
test_lantern (macos-13, 17)	6m 7s
upload_coverage	0s
	5h 25m 38s

Provide feedback