Skip to content

Map editing tools and improved local mapping #104

Map editing tools and improved local mapping

Map editing tools and improved local mapping #104

Triggered via pull request December 18, 2024 15:47
Status Success
Total duration 8m 9s
Artifacts 2

docs.yml

on: pull_request
Draft Release
0s
Draft Release
Publish to GH Pages
0s
Publish to GH Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation-pdf Expired
493 KB
github-pages Expired
7.12 MB