Merge pull request #1290 from georust/mkirk/update-proj #4111

Job	Run time
lint (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	1m 1s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	28s
bench	2m 20s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	27s
build documentation	48s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	26s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	1m 56s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	1m 47s
geo-fuzz (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	43s
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	50s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	1m 46s
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	51s
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	52s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	34s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	38s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	38s
ci result	1s
ci result	0s
	16m 6s

Provide feedback