feat: support multiple versions of the pg_tle extension (#1756) #265

Job	Run time
prepare	27s
build (17, Dockerfile-17)	46s
build (orioledb-17, Dockerfile-orioledb-17)	43s
build (15, Dockerfile-15)	46s
build_release_image (15, Dockerfile-15, amd64)	8m 34s
build_release_image (17, Dockerfile-17, amd64)	8m 37s
build_release_image (15, Dockerfile-15, arm64)	8m 43s
build_release_image (17, Dockerfile-17, arm64)	5m 33s
build_release_image (orioledb-17, Dockerfile-orioledb-17, arm64)	8m 24s
build_release_image (orioledb-17, Dockerfile-orioledb-17, amd64)	8m 58s
merge_manifest (17, Dockerfile-17)	51s
merge_manifest (15, Dockerfile-15)	1m 2s
merge_manifest (orioledb-17, Dockerfile-orioledb-17)	55s
combine_results	47s
publish (17.6.1.042) / mirror	3m 40s
publish (17.5.1.063-orioledb) / mirror	3m 36s
publish (15.14.1.042) / mirror	2m 43s
prepare	27s
build (15, Dockerfile-15)	46s
build (orioledb-17, Dockerfile-orioledb-17)	43s
build (17, Dockerfile-17)	46s
build_release_image (17, Dockerfile-17, amd64)	8m 37s
build_release_image (orioledb-17, Dockerfile-orioledb-17, arm64)	8m 24s
build_release_image (15, Dockerfile-15, arm64)	8m 43s
build_release_image (15, Dockerfile-15, amd64)	8m 34s
build_release_image (orioledb-17, Dockerfile-orioledb-17, amd64)	8m 58s
build_release_image (17, Dockerfile-17, arm64)	5m 33s
merge_manifest (15, Dockerfile-15)	1m 2s
merge_manifest (17, Dockerfile-17)	51s
merge_manifest (orioledb-17, Dockerfile-orioledb-17)	55s
combine_results	47s
publish (17.5.1.063-orioledb) / mirror	1m 21s
publish (17.6.1.042) / mirror	1m 13s
publish (15.14.1.042) / mirror	2m 43s
	2h 5m 28s

Provide feedback