Skip to content

Merge branch 'master' into dev_thilo #233

Merge branch 'master' into dev_thilo

Merge branch 'master' into dev_thilo #233

Triggered via push November 28, 2025 08:24
Status Success
Total duration 1m 4s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in