Code

fix: lake: v4.16.0-rc1 trace issues#6627

Code

Merged

kim-em merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom tydeu:lake/fix-trace-issuestydeu/lean4:lake/fix-trace-issuesCopy head branch name to clipboardJan 13, 2025

+1-1

Commits

Commits on Jan 13, 2025

• fix: lake: Job.add trace

  tydeu

  committed
  2e63412

  Copy full SHA for 2e63412