Update lean-toolchain for testing https://github.com/leanprover/lean4… #196949
Annotations
6 errors
|
Build
The process '/usr/bin/env' failed with exit code 1
|
|
Build:
Mathlib/Util/WhatsNew.lean#L95
Application type mismatch: In the application
|
|
Build:
Mathlib/Util/WhatsNew.lean#L96
Application type mismatch: In the application
|
|
Build:
Mathlib/Util/WhatsNew.lean#L97
invalid field notation, type is not of the form (C ...) where C is a constant
|
|
Build:
Mathlib/Util/WhatsNew.lean#L97
invalid field notation, type is not of the form (C ...) where C is a constant
|
|
Build
The process '/usr/bin/bash' failed with exit code 1
|