Commits

Breadcrumbs

History for

onba4e2b0

User selector

All users

All time

Commit History

Commits on Oct 23, 2025

• chore: revert #30788 and #30785 (#30807)

  bryangingechen

  authored
  4cc49eb

  Copy full SHA for 4cc49eb

Commits on Oct 22, 2025

• chore: revert #30740 and #30748 (#30788)

  Show description for 2521caa
  bryangingechen

  authored
  2521caa

  Copy full SHA for 2521caa

Commits on Oct 21, 2025

• chore: merge bump/v4.25.0 (#30740)

  kim-em

  authored
  258b485

  Copy full SHA for 258b485

Commits on Oct 14, 2025

• chore: remove linters from mathlibStandardSet which don't work downstream (#30541)

  Show description for 9c4daf9
  kim-em

  committed
  9c4daf9

  Copy full SHA for 9c4daf9

Commits on Sep 18, 2025

• chore: bump for ProofWidgets4#135 (#29773)

  kim-em

  committed
  c7383b2

  Copy full SHA for c7383b2

Commits on Sep 16, 2025

• fix: incorrect dependencies in lakefile (#29696)

  kim-em

  committed
  7857d07

  Copy full SHA for 7857d07

Commits on Sep 15, 2025

• chore: bump toolchain to v4.24.0-rc1 (#29671)

  Show description for eed770a
  

  3 peoplecommitted
  eed770a

  Copy full SHA for eed770a

Commits on Aug 15, 2025

• chore: bump toolchain to v4.23.0-rc2 (#28454)

  kim-em

  authored
  90c0e18

  Copy full SHA for 90c0e18

Commits on Aug 14, 2025

• chore: bump toolchain to v4.22.0 (#28369)

  Show description for 79e94a0
  kim-em

  committed
  79e94a0

  Copy full SHA for 79e94a0

Commits on Jul 29, 2025

• feat: remove (upstreamed) shake (#27632)

  Show description for e0e3f4b
  kim-em

  committed
  e0e3f4b

  Copy full SHA for e0e3f4b

Commits on Jul 4, 2025

• chore: bump toolchain to v4.22.0-rc3 (#26715)

  Show description for 19f4ef2
  

  kim-em

  and

  leanprover-community-mathlib4-bot

  committed
  19f4ef2

  Copy full SHA for 19f4ef2

Commits on Jul 2, 2025

• chore: fix lakefile.lean dependencies (#26585)

  Show description for 5e98910
  kim-em

  committed
  5e98910

  Copy full SHA for 5e98910

Commits on Jul 1, 2025

• chore: bump toolchain to v4.22.0-rc2 (#26564)

  Show description for 1a5c8fe
  

  3 peoplecommitted
  1a5c8fe

  Copy full SHA for 1a5c8fe

Commits on Jun 30, 2025

• cache: change working directory when running the post-update hook (#25817)

  Show description for 376925f
  Vierkantor

  committed
  376925f

  Copy full SHA for 376925f

Commits on Jun 3, 2025

• chore: bump toolchain to v4.21.0-rc2 (#25397)

  Show description for 31ab852
  

  4 peoplecommitted
  31ab852

  Copy full SHA for 31ab852

• refactor: create a LinterSet for all mathlib syntax linters enabled b… (#24924)

  Show description for 4cf6506
  

  grunweg

  and

  Vierkantor

  committed
  4cf6506

  Copy full SHA for 4cf6506

• chore: bump toolchain to v4.21.0-rc1 (#25384)

  Show description for 4e57d17
  

  4 peoplecommitted
  4e57d17

  Copy full SHA for 4e57d17

Commits on Jun 2, 2025

• chore: bump toolchain to v4.20.0 (#25373)

  Vierkantor

  committed
  c211948

  Copy full SHA for c211948

Commits on May 19, 2025

• feat(scripts/lint-style): select linters with Lakefile options (#24953)

  Show description for 19337f2
  Vierkantor

  committed
  19337f2

  Copy full SHA for 19337f2

Commits on May 5, 2025

• chore: bump toolchain to v4.20.0-rc3 (#24621)

  kim-em

  committed
  1755c0f

  Copy full SHA for 1755c0f

Commits on May 2, 2025

• chore: bump toolchain to v4.20.0-rc2 (#24561)

  Show description for 01239f4
  

  4 peoplecommitted
  01239f4

  Copy full SHA for 01239f4

Commits on May 1, 2025

• chore: bump toolchain to v4.19.0 (#24519)

  kim-em

  committed
  c44e0c8

  Copy full SHA for c44e0c8

Commits on Apr 10, 2025

• feat(maxHeartbeats linter): `maxHeartbeats` require a comment (#23816)

  Show description for 84eedd2
  adomani

  committed
  84eedd2

  Copy full SHA for 84eedd2

Commits on Apr 6, 2025

• chore: move `batteries` and `plausible` back to `main` (#23689)

  Show description for 0e1917e
  

  kim-em

  and

  Parcly-Taxel

  committed
  0e1917e

  Copy full SHA for 0e1917e

Commits on Apr 4, 2025

• fix(lakefile): remove duplicate `moreServerOptions` (#23667)

  Show description for 77787e0
  Vierkantor

  committed
  77787e0

  Copy full SHA for 77787e0

Commits on Apr 3, 2025

• chore: bump toolchain to v4.19.0-rc2 (#23614)

  Show description for 24d8de9
  

  4 peoplecommitted
  24d8de9

  Copy full SHA for 24d8de9

Commits on Mar 24, 2025

• feat: unify `AdmitLinter` with `DeprecatedSyntaxLinter` (#23053)

  Show description for 23dd5c1
  Parcly-Taxel

  committed
  23dd5c1

  Copy full SHA for 23dd5c1

Commits on Mar 18, 2025

• feat: linter for bare `open (scoped) Classical` (#21947)

  Show description for f1a5be5
  

  grunweg

  and

  joneugster

  committed
  f1a5be5

  Copy full SHA for f1a5be5

Commits on Mar 17, 2025

• feat: the deprecated syntax (`cases'` + `refine'`) linter (#21832)

  Show description for 73094ff
  

  Parcly-Taxel

  and

  grunweg

  committed
  73094ff

  Copy full SHA for 73094ff

Commits on Mar 7, 2025

• feat: the doc-string linter (#22095)

  Show description for 9ac91de
  adomani

  committed
  9ac91de

  Copy full SHA for 9ac91de

Commits on Mar 3, 2025

• chore: bump toolchain to v4.18.0-rc1 (#22500)

  Show description for 6cecf71
  

  kim-em

  and

  jcommelin

  committed
  6cecf71

  Copy full SHA for 6cecf71

• chore: bump toolchain to v4.17.0 (#22494)

  Show description for 5269898
  

  jcommelin

  and

  eric-wieser

  committed
  5269898

  Copy full SHA for 5269898

• feat: set maxSynthPendingDepth = 3 (#22012)

  sgouezel

  committed
  3c1d8e8

  Copy full SHA for 3c1d8e8

Commits on Feb 17, 2025

• chore: simplify lakefile post_update hook (#21650)

  kim-em

  committed
  6eaee03

  Copy full SHA for 6eaee03

Commits on Feb 13, 2025

• feat: improve error message on out-of-date ProofWidgets (#21667)

  Show description for 6a3e305
  tydeu

  committed
  6a3e305

  Copy full SHA for 6a3e305

Pagination

Previous

Next