Skip to content

Merge branch 'develop' #131

Merge branch 'develop'

Merge branch 'develop' #131

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