lake update #191559
Annotations
3 errors
|
Build
The process '/usr/bin/env' failed with exit code 1
|
|
Build:
Mathlib.lean#L1
import Batteries.Data.String.Lemmas failed, environment already contains 'String.instTransOrd' from Std.Classes.Ord.String
|
|
Build
The process '/usr/bin/bash' failed with exit code 1
|