Trigger CI for https://github.com/leanprover/lean4/pull/3973 #49
Annotations
2 errors
|
build, test, and lint batteries
lake build failed
|
|
build, test, and lint batteries
Process completed with exit code 1.
|
Loading