Skip to content
Auto reviews, merge and close pull requests

Correct geodetic scale denominator calculation #999

Sign in to view logs

Correct geodetic scale denominator calculation

Correct geodetic scale denominator calculation #999

Triggered via pull request February 11, 2026 08:26
@sbrunnersbrunner
opened #3979
fix/correct-geodetic-scale-denominator-calculation
Status Success
Total duration 13s
Artifacts –

pull-request-automation.yaml

on: pull_request
Auto reviews pull requests from bots
9s
Auto reviews pull requests from bots
Fit to window
Zoom out
Zoom in