Skip to content

Formal cleanup

Formal cleanup #274

Triggered via pull request January 13, 2025 16:49
Status Failure
Total duration 1m 9s
Artifacts

pr_lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
verible-lint
Process completed with exit code 1.
verible-lint: dv/formal/check/peek/follower.sv#L52
[verible-verilog-lint] reported by reviewdog 🐶 Line length exceeds max: 100; is: 110 [Style: line-length] [line-length] Raw Output: message:"Line length exceeds max: 100; is: 110 [Style: line-length] [line-length]" location:{path:"./dv/formal/check/peek/follower.sv" range:{start:{line:52 column:101}}} severity:WARNING source:{name:"verible-verilog-lint" url:"https://github.com/chipsalliance/verible"}