[Backport releases/v4.8.0] feat: lake: build monitor improvements - Githubissues

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.88k stars 329 forks source link

[Backport releases/v4.8.0] feat: lake: build monitor improvements #4209

Closed github-actions[bot] closed 2 weeks ago

github-actions[bot] commented 2 weeks ago

Backport 7648bf255cfff9d679404b05f7aa8601044990ca from #4127.