Skip to content

Merge branch 'release/3_12_1' #3365

Merge branch 'release/3_12_1'

Merge branch 'release/3_12_1' #3365

Triggered via push May 17, 2026 09:20
Status Success
Total duration 23s
Artifacts
Verify C-like coding style
14s
Verify C-like coding style
Verify shell script (Bash) coding style
21s
Verify shell script (Bash) coding style
Verify Python coding style
15s
Verify Python coding style
Fit to window
Zoom out
Zoom in