Skip to content

Use Float64 as default number type instead of Float32 in GeoJSON #461

Use Float64 as default number type instead of Float32 in GeoJSON

Use Float64 as default number type instead of Float32 in GeoJSON #461

Triggered via pull request October 3, 2024 13:27
Status Success
Total duration 14m 45s
Artifacts

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in