fix long lines #45560
build.yml
on: push
Cancel Previous Runs (CI)
3s
Post-CI job
0s
Annotations
2 errors
Build:
Mathlib/LinearAlgebra/TensorProduct.lean#L1339
-- Found 6 errors in 178 declarations (plus 226 automatically generated ones) in the current file with 13 linters
|
Build
The process '/usr/bin/bash' failed with exit code 1
|