Skip to content

Merge branch 'develop' into feature/update-ci #3434

Merge branch 'develop' into feature/update-ci

Merge branch 'develop' into feature/update-ci #3434

Triggered via push December 5, 2024 17:01
Status Success
Total duration 23s
Artifacts

norms.yaml

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