Skip to content

Introduce an OSS Formal Flow #445

Introduce an OSS Formal Flow

Introduce an OSS Formal Flow #445

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

ci.yml

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