Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 30, 2024

• refactor: lake: --wfail & track jobs & logs & simplify build monads (leanprover#3835)

  Show description for 0292544
  tydeu

  authored
  0292544

  Copy full SHA for 0292544

Commits on Oct 5, 2023

• feat: show path of failed import (leanprover#2616)

  bollu

  authored
  734ce1e

  Copy full SHA for 734ce1e

Commits on Jul 17, 2023

• chore: merge Lake into src/lake

  Kha

  committed
  bf76eca

  Copy full SHA for bf76eca

Loading