Skip to content

Merge pull request #3817 from AlexBass05/add-polish-geoid2021 #2603

Merge pull request #3817 from AlexBass05/add-polish-geoid2021

Merge pull request #3817 from AlexBass05/add-polish-geoid2021 #2603

Triggered via push July 11, 2023 11:11
Status Success
Total duration 5m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mingw_w64.yml

on: push
mingw_w64_build
5m 11s
mingw_w64_build
Fit to window
Zoom out
Zoom in