Skip to content

Merge branch 'develop' #132

Merge branch 'develop'

Merge branch 'develop' #132

Triggered via push November 13, 2023 08:15
Status Success
Total duration 20s
Artifacts
Prerequisite checks
6s
Prerequisite checks
Clang Format
0s
Clang Format
Fit to window
Zoom out
Zoom in