Skip to content

Merge main into develop branch #88

Merge main into develop branch

Merge main into develop branch #88

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

build-on-pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in