Skip to content

Merge branch 'dynamics' into devel #288

Merge branch 'dynamics' into devel

Merge branch 'dynamics' into devel #288

Triggered via push November 5, 2023 19:15
Status Success
Total duration 11m 45s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in