Skip to content
continuous integration

fix #65464

Sign in to view logs

fix

fix #65464

Triggered via push January 11, 2024 06:22
@kim-emkim-em
pushed 64b1946
lean-pr-testing-3124
Status Failure
Total duration 42m 29s
Artifacts –

build.yml

on: push
Lint style
36s
Lint style
Check all files imported
11s
Check all files imported
Build
42m 20s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Build
Process completed with exit code 1.
Build: Mathlib/Data/List/Basic.lean#L4214
`List.ilast'` has been deprecated, use `List.getLastD` instead
Build: Mathlib/Data/List/Basic.lean#L4215
`List.ilast'` has been deprecated, use `List.getLastD` instead
Build: Mathlib/Data/List/TFAE.lean#L62
`List.ilast'` has been deprecated, use `List.getLastD` instead
Build: Mathlib/Tactic/TFAE.lean#L136
`List.ilast'` has been deprecated, use `List.getLastD` instead