We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 69965c2 commit 7834f02Copy full SHA for 7834f02
src/lake/Lake/Build/Run.lean
@@ -203,7 +203,7 @@ def Workspace.runFetchM
203
-- Job Computation
204
let caption := "Computing build jobs"
205
if showAnsiProgress then
206
- print! out s!"[?/?] {caption}"
+ print! out s!"⣿ [?/?] {caption}"
207
flush out
208
let (a?, log) ← ((withLoggedIO build).run.run'.run ctx).run?
209
let failed := log.hasEntries ∧ log.maxLv ≥ failLv
0 commit comments