Trigger CI for https://github.com/leanprover/lean4/pull/3186 #66517
Annotations
1 error and 10 warnings
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathlib/Mathport/Notation.lean#L533
unused variable `stx` [linter.unusedVariables]
|
|
Mathlib/Data/PNat/Basic.lean#L399
unused variable `h` [linter.unusedVariables]
|
|
Mathlib/Data/List/BigOperators/Basic.lean#L203
unused variable `h` [linter.unusedVariables]
|
|
Mathlib/NumberTheory/Divisors.lean#L411
unused variable `h` [linter.unusedVariables]
|
|
Mathlib/Combinatorics/SimpleGraph/Connectivity.lean#L1762
unused variable `a` [linter.unusedVariables]
|
The logs for this run have expired and are no longer available.
Loading