use pg17 for benchmarking #1214

Job	Run time
test_extras (ubuntu-22.04, 15)	14m 22s
test_lantern (ubuntu-22.04, 12)	23m 15s
test_extras (ubuntu-22.04, 17)	14m 39s
test_extras (ubicloud-standard-4-arm, 15)	2m 18s
test_lantern (ubuntu-22.04, 13)	25m 8s
test_extras (ubicloud-standard-4-arm, 17)	2m 18s
test_lantern (ubuntu-22.04, 14)	22m 40s
test_lantern (ubuntu-22.04, 15)	25m 27s
test_lantern (ubuntu-22.04, 16)	19m 32s
test_lantern (ubuntu-22.04, 17)	16m 19s
test_lantern (ubicloud-standard-4-arm, 12)	29m 3s
test_lantern (ubicloud-standard-4-arm, 13)	31m 7s
test_lantern (ubicloud-standard-4-arm, 14)	33m 25s
test_lantern (ubicloud-standard-4-arm, 15)	29m 12s
test_lantern (ubicloud-standard-4-arm, 16)	30m 48s
test_lantern (ubicloud-standard-4-arm, 17)	19m 7s
test_lantern (macos-13, 12)	5m 38s
test_lantern (macos-13, 13)	5m 20s
test_lantern (macos-13, 14)	6m 22s
test_lantern (macos-13, 15)	6m 3s
test_lantern (macos-13, 16)	5m 39s
test_lantern (macos-13, 17)	6m 15s
upload_coverage	0s
	6h 13m 57s

Provide feedback