Merge pull request #1310 from urschrei/push-wsywnvrunyxo #4212

Job	Run time
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	51s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	1m 58s
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	51s
build documentation	45s
bench	2m 22s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	1m 48s
geo-types (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	49s
geo (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	1m 52s
geo-fuzz (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	41s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	35s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.75)	26s
lint (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	1m 0s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	37s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.82)	25s
geo-postgis (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	33s
geo-traits (ghcr.io/georust/geo-ci:proj-9.4.0-rust-1.83)	31s
ci result	1s
ci result	0s
	16m 5s

Provide feedback