Code

chore: build Lean with Elab.async#6989

Code

Merged

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom Kha:push-xmrtkvuoqutsKha/lean4:push-xmrtkvuoqutsCopy head branch name to clipboardFeb 10, 2025

+1-1

Commits

Commits on Feb 10, 2025

• chore: build Lean with Elab.async

  Kha

  committed
  d7f1353

  Copy full SHA for d7f1353