Code

feat: group log outputs by step (#19)#20

Code

Merged

austinletson merged 2 commits intomainleanprover/lean-action:mainfrom 19-improve-log-readability-by-grouping-log-lines-inside-of-stepsleanprover/lean-action:19-improve-log-readability-by-grouping-log-lines-inside-of-stepsCopy head branch name to clipboardMay 14, 2024

+37-7

Commits

Commits on May 14, 2024

• feat: group log outputs by step (#19)

  Show description for e3635d7
  austinletson

  committed
  e3635d7

  Copy full SHA for e3635d7

• squash

  austinletson

  committed
  53d8b05

  Copy full SHA for 53d8b05