Skip to content

Merge branch 'develop' into feature/newb2i #3411

Merge branch 'develop' into feature/newb2i

Merge branch 'develop' into feature/newb2i #3411

Triggered via push December 2, 2024 20:28
Status Success
Total duration 19s
Artifacts

norms.yaml

on: push
Check coding norms with pycodestyle and cpplint
9s
Check coding norms with pycodestyle and cpplint
Fit to window
Zoom out
Zoom in