Skip to content

Merge main into develop branch #87

Merge main into develop branch

Merge main into develop branch #87

Triggered via pull request July 17, 2024 08:00
@choffmannchoffmann
synchronize #73
main
Status Success
Total duration 30s
Artifacts

build-on-pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in