Commit 03cc19e
fix(Cache): print ProofWidgets build stdout on error (leanprover-community#33651)
Fixes a typo in the code for printing the output of failed `lake build` of the ProofWidgets fetch in `lake exe cache`. It will no properly print stdout rather than stderr under the `lake stdout:` heading.
Co-authored-by: Kim Morrison <kim@tqft.net>1 parent e7957cb commit 03cc19e
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
466 | 466 | | |
467 | 467 | | |
468 | 468 | | |
469 | | - | |
| 469 | + | |
470 | 470 | | |
471 | 471 | | |
472 | 472 | | |
| |||
0 commit comments