lean4
lean4 copied to clipboard
feat: lake: build monitor improvements
WIP. Currently implements the polling of finished jobs. Still need to implement printing build captions only when a job actually does something. Also needs integrating with the other refactor touchups.