Skip to content

Introduce an OSS Formal Flow #451

Introduce an OSS Formal Flow

Introduce an OSS Formal Flow #451

Triggered via pull request September 15, 2025 16:37
@mndstrmrmndstrmr
synchronize #2309
oss-formal
Status Failure
Total duration 1m 21s
Artifacts

ci.yml

on: pull_request
Run quality checks (Lint and DV)
1m 17s
Run quality checks (Lint and DV)
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Run quality checks (Lint and DV)
Process completed with exit code 1.
Run quality checks (Lint and DV)
C/C++ lint failed. Use 'git clang-format' with appropriate options to reformat the changed code.