Trigger CI for https://github.com/leanprover/lean4/pull/8470 #193988
ghostAnnotations
4 errors and 6 warnings
|
Build
The process '/usr/bin/env' failed with exit code 1
|
|
Build
tactic 'simp' failed, nested error:
|
|
Build
tactic 'simp' failed, nested error:
|
|
Build
The process '/usr/bin/bash' failed with exit code 1
|
|
Build:
Mathlib/Data/List/Lookmap.lean#L26
`Array.push_toList` has been deprecated: use `Array.toList_push` instead
|
|
Build:
Mathlib/Data/List/ModifyLast.lean#L25
`Array.push_toList` has been deprecated: use `Array.toList_push` instead
|
|
Build:
Mathlib/Data/List/ModifyLast.lean#L37
`Array.push_toList` has been deprecated: use `Array.toList_push` instead
|
|
Build
`Array.mem_toList` has been deprecated: use `Array.mem_toList_iff` instead
|
|
Build
`Array.mem_toList` has been deprecated: use `Array.mem_toList_iff` instead
|
|
Build
`Array.push_toList` has been deprecated: use `Array.toList_push` instead
|