Skip to content

Merge devel into master #794

Merge devel into master

Merge devel into master #794

Manually triggered October 24, 2023 15:02
Status Success
Total duration 47s
Artifacts

merge_devel_into_master.yml

on: workflow_dispatch
checkout-and-merge
34s
checkout-and-merge
Fit to window
Zoom out
Zoom in