Skip to content

Merge main into develop branch #86

Merge main into develop branch

Merge main into develop branch #86

Triggered via pull request July 17, 2024 07:59
@choffmannchoffmann
synchronize #73
main
Status Success
Total duration 29s
Artifacts

build-on-pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in