Skip to content

Merge devel into master #849

Merge devel into master

Merge devel into master #849

Manually triggered December 18, 2023 00:06
Status Success
Total duration 1m 9s
Artifacts

merge_devel_into_master.yml

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