Skip to content

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

Merge branch 'dev-minor' into dev-patch

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

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

cmake.yml

on: push
Fit to window
Zoom out
Zoom in