Update lean-toolchain for testing https://github.com/leanprover/lean4… #186793
Annotations
5 errors and 1 warning
|
Build
The process '/usr/bin/env' failed with exit code 1
|
|
Build:
Mathlib/Data/List/Sigma.lean#L341
tactic 'rfl' failed, expected goal to be a binary relation
|
|
Build:
Mathlib/Data/List/Sigma.lean#L336
unsolved goals
|
|
Build:
Mathlib/Data/Multiset/Filter.lean#L198
no goals to be solved
|
|
Build
The process '/usr/bin/bash' failed with exit code 1
|
|
Build
Cache directory does not exist: /home/lean/.cache/mathlib
|