Skip to content
continuous integration

Remove set_option #89487

Sign in to view logs

Remove set_option

Remove set_option #89487

Triggered via push May 6, 2024 13:40
@nomeatanomeata
pushed ac0c912
lean-pr-testing-4061
Status Cancelled
Total duration 15m 51s
Artifacts –

build.yml

on: push
Lint style
46s
Lint style
Check all files imported
11s
Check all files imported
Build
11m 54s
Build
Cancel Previous Runs (CI)
9s
Cancel Previous Runs (CI)
check workflows
10s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Build
The run was canceled by @github-actions[bot].
Build
Process completed with exit code 1.
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