Skip to content

Merge branch 'dev-patch' into dev-minor #142

Merge branch 'dev-patch' into dev-minor

Merge branch 'dev-patch' into dev-minor #142

Triggered via push December 3, 2023 16:59
Status Success
Total duration 8m 6s
Artifacts

cmake.yml

on: push
Fit to window
Zoom out
Zoom in