Skip to content
Lints

Clearly distinguish factored width from the tree width #509

Sign in to view logs

Clearly distinguish factored width from the tree width

Clearly distinguish factored width from the tree width #509

Triggered via pull request August 20, 2024 18:43
@dr-orlovskydr-orlovsky
opened #183
feat/factored-width
Status Failure
Total duration 1m 8s
Artifacts –

lint.yml

on: pull_request
fmt
14s
fmt
clippy
37s
clippy
doc
56s
doc
Fit to window
Zoom out
Zoom in

Annotations

1 error
fmt
Process completed with exit code 1.