Introduce an OSS Formal Flow #456
Triggered via pull request
September 16, 2025 09:49
mndstrmr
Status
Failure
Total duration
1m 35s
Artifacts
–
ci.yml
on: pull_request
Run quality checks (Lint and DV)
1m 31s
Annotations
2 errors and 4 warnings
|
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.
|
|
[verible-verilog-lint] dv/formal/check/top.sv#L193:
dv/formal/check/top.sv#L193
Declare unpacked dimension range in big-endian (increasing) order, e.g. [N:N+M]. [Style: unpacked-ordering] [unpacked-dimensions-range-ordering]
|
|
[verible-verilog-lint] dv/formal/check/spec_instance.sv#L37:
dv/formal/check/spec_instance.sv#L37
Line length exceeds max: 100; is: 106 [Style: line-length] [line-length]
|
|
[verible-verilog-lint] dv/formal/spec/spec_api.sv#L26:
dv/formal/spec/spec_api.sv#L26
Declare unpacked dimension range in big-endian (increasing) order, e.g. [N:N+M]. [Style: unpacked-ordering] [unpacked-dimensions-range-ordering]
|
|
[verible-verilog-lint] dv/formal/spec/spec_api.sv#L324:
dv/formal/spec/spec_api.sv#L324
Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
|