Skip to content

Merge develop into main #909

Merge develop into main

Merge develop into main #909

Triggered via pull request October 10, 2023 18:13
@hennebergerhenneberger
synchronize #360
develop
Status Success
Total duration 9m 29s
Artifacts

build-config.yml

on: pull_request
Fit to window
Zoom out
Zoom in