Fix test for https://github.com/leanprover/lean4/pull/4061 #89496
build.yml
on: push
Cancel Previous Runs (CI)
6s
check workflows
15s
Post-CI job
0s
Annotations
3 errors
Build:
Mathlib/Data/Nat/Fib/Zeckendorf.lean#L52
List.IsZeckendorfRep_nil is a def, should be lemma/theorem
|
Build:
Mathlib/Data/Nat/Fib/Zeckendorf.lean#L52
List.IsZeckendorfRep_nil definition missing documentation string
|
Build
The process '/usr/bin/env' failed with exit code 1
|