Skip to content

Introduce an OSS Formal Flow #458

Introduce an OSS Formal Flow

Introduce an OSS Formal Flow #458

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

ci.yml

on: pull_request
Run quality checks (Lint and DV)
1m 34s
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.