Skip to content

gui/src/mapstackedwidget: adjust stacked widget size based on current page. #59

gui/src/mapstackedwidget: adjust stacked widget size based on current page.

gui/src/mapstackedwidget: adjust stacked widget size based on current page. #59

Triggered via pull request September 5, 2024 12:55
Status Success
Total duration 41s
Artifacts 1

generate_doc.yml

on: pull_request
build-doc
29s
build-doc
deploy-doc
0s
deploy-doc
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
html Expired
748 KB