Code

chore: bump toolchain to v4.3.0-rc2#367

Code

Merged

digama0 merged 92 commits intomainleanprover-community/batteries:mainfrom bump_v4.3.0-rc2leanprover-community/batteries:bump_v4.3.0-rc2Copy head branch name to clipboardNov 17, 2023

+55-45

Commits

Commits on Oct 16, 2023

• testing leanprover/lean4#2688

  kim-em

  committed
  b4d59a9

  Copy full SHA for b4d59a9

• fix

  kim-em

  committed
  f9614a5

  Copy full SHA for f9614a5

Commits on Oct 21, 2023

• merge

  kim-em

  committed
  8e33f88

  Copy full SHA for 8e33f88

Commits on Oct 22, 2023

• Run CI against core PR 2721 (do not merge)

  bustercopley

  committed
  23bc3e4

  Copy full SHA for 23bc3e4

• fix: use version number from EditableDocument for WorkspaceEdit

  bustercopley

  committed
  597fdf1

  Copy full SHA for 597fdf1

Commits on Oct 23, 2023

• fixes for leanprover/lean4#2734

  kim-em

  committed
  3d66565

  Copy full SHA for 3d66565

• merge fixes for leanprover/lean4#2688

  kim-em

  committed
  2ff2c56

  Copy full SHA for 2ff2c56

• new lake-manifest.json

  kim-em

  committed
  76dc5e1

  Copy full SHA for 76dc5e1

• Update Std/Tactic/Ext/Attr.lean

  Show description for 961c6b2
  

  kim-em

  and

  digama0

  authored
  961c6b2

  Copy full SHA for 961c6b2

• chore: move to latest nightly

  kim-em

  committed
  71ccc03

  Copy full SHA for 71ccc03

• empty lake-manifest.json

  kim-em

  committed
  4b8dc14

  Copy full SHA for 4b8dc14

• merge lean-pr-testing-2688

  kim-em

  committed
  a75a594

  Copy full SHA for a75a594

• chore: bump toolchain to nightly-2023-10-23

  kim-em

  committed
  3fa2bbd

  Copy full SHA for 3fa2bbd

• Apply suggestions from code review

  digama0

  authored
  b128c19

  Copy full SHA for b128c19

Commits on Oct 24, 2023

• Merge remote-tracking branch 'origin/main' into nightly-testing

  kim-em

  committed
  03c9aa9

  Copy full SHA for 03c9aa9

• Merge remote-tracking branch 'origin/main' into lean-pr-testing-2734

  kim-em

  committed
  a717993

  Copy full SHA for a717993

Commits on Oct 25, 2023

• bump toolchain

  kim-em

  committed
  094b08e

  Copy full SHA for 094b08e

• merge #306

  kim-em

  committed
  b869351

  Copy full SHA for b869351

Commits on Oct 26, 2023

• bump toolchain

  kim-em

  committed
  97d30e5

  Copy full SHA for 97d30e5

• merge #316

  kim-em

  committed
  e3d90c3

  Copy full SHA for e3d90c3

Commits on Oct 27, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  a2e2fc5

  Copy full SHA for a2e2fc5

• chore: bump to nightly-2023-10-27

  leanprover-community-mathlib4-bot

  committed
  a18c5fa

  Copy full SHA for a18c5fa

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  1f7b317

  Copy full SHA for 1f7b317

Commits on Oct 28, 2023

• chore: bump to nightly-2023-10-28

  leanprover-community-mathlib4-bot

  committed
  5175eba

  Copy full SHA for 5175eba

Commits on Oct 30, 2023

• chore: changes required for leanprover/lean4#2783

  kim-em

  committed
  5cd3d13

  Copy full SHA for 5cd3d13

• chore: bump to nightly-2023-10-30

  leanprover-community-mathlib4-bot

  committed
  34cd9a4

  Copy full SHA for 34cd9a4

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  f8f886e

  Copy full SHA for f8f886e

Commits on Oct 31, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  e1f9766

  Copy full SHA for e1f9766

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  145e768

  Copy full SHA for 145e768

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  e884944

  Copy full SHA for e884944

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  7ad8223

  Copy full SHA for 7ad8223

• chore: fixes for new simp default (decide := false) in lean4#2722

  collares

  committed
  2b65ea9

  Copy full SHA for 2b65ea9

• use leanprover/lean4-pr-releases:pr-release-2722 toolchain

  collares

  committed
  6f724a0

  Copy full SHA for 6f724a0

• chore: bump to nightly-2023-10-31

  leanprover-community-mathlib4-bot

  committed
  7b3a210

  Copy full SHA for 7b3a210

Commits on Nov 1, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  cf03e8b

  Copy full SHA for cf03e8b

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  9292734

  Copy full SHA for 9292734

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  1f719ba

  Copy full SHA for 1f719ba

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  7b1e009

  Copy full SHA for 7b1e009

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  c7b3745

  Copy full SHA for c7b3745

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  4f16e93

  Copy full SHA for 4f16e93

• chore: bump to nightly-2023-11-01

  leanprover-community-mathlib4-bot

  committed
  363d8d0

  Copy full SHA for 363d8d0

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  569142a

  Copy full SHA for 569142a

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  677efa9

  Copy full SHA for 677efa9

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  3fc673d

  Copy full SHA for 3fc673d

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  ba1a605

  Copy full SHA for ba1a605

Commits on Nov 2, 2023

• merge

  kim-em

  committed
  099e2ce

  Copy full SHA for 099e2ce

• rm lake-manifest

  kim-em

  committed
  586a7fa

  Copy full SHA for 586a7fa

• Merge remote-tracking branch 'origin/main' into lean-pr-testing-2722

  kim-em

  committed
  a81cb02

  Copy full SHA for a81cb02

Commits on Nov 3, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  c618f3c

  Copy full SHA for c618f3c

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  41a2161

  Copy full SHA for 41a2161

• chore: bump to nightly-2023-11-03

  leanprover-community-mathlib4-bot

  committed
  253aead

  Copy full SHA for 253aead

• merge #312

  kim-em

  committed
  d2df4d4

  Copy full SHA for d2df4d4

• fix

  kim-em

  committed
  07f5bd5

  Copy full SHA for 07f5bd5

Commits on Nov 4, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  a91b93a

  Copy full SHA for a91b93a

• chore: bump to nightly-2023-11-04

  leanprover-community-mathlib4-bot

  committed
  7fcae40

  Copy full SHA for 7fcae40

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  e63b80e

  Copy full SHA for e63b80e

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  824a8f0

  Copy full SHA for 824a8f0

Commits on Nov 5, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  4167e5e

  Copy full SHA for 4167e5e

• merge nightly-testing-2023-11-04

  kim-em

  committed
  27a201c

  Copy full SHA for 27a201c

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  267d465

  Copy full SHA for 267d465

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  cced23c

  Copy full SHA for cced23c

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  4ebec3a

  Copy full SHA for 4ebec3a

• chore: bump to nightly-2023-11-05

  leanprover-community-mathlib4-bot

  committed
  f449ab7

  Copy full SHA for f449ab7

Commits on Nov 6, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  716838e

  Copy full SHA for 716838e

• chore: bump to nightly-2023-11-06

  leanprover-community-mathlib4-bot

  committed
  f292fcc

  Copy full SHA for f292fcc

Commits on Nov 7, 2023

• chore: bump to nightly-2023-11-07

  leanprover-community-mathlib4-bot

  committed
  ccd12a3

  Copy full SHA for ccd12a3

Commits on Nov 8, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  c730b95

  Copy full SHA for c730b95

• chore: bump to nightly-2023-11-08

  leanprover-community-mathlib4-bot

  committed
  a025356

  Copy full SHA for a025356

• fix test

  kim-em

  committed
  511ea8e

  Copy full SHA for 511ea8e

Commits on Nov 9, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  0938cd3

  Copy full SHA for 0938cd3

Commits on Nov 10, 2023

• chore: bump to nightly-2023-11-10

  leanprover-community-mathlib4-bot

  committed
  bce5eb1

  Copy full SHA for bce5eb1

• merge lean-pr-testing-2783

  kim-em

  committed
  5e52ffd

  Copy full SHA for 5e52ffd

• Update Std/Classes/LawfulMonad.lean

  Show description for 16db66b
  

  kim-em

  and

  digama0

  authored
  16db66b

  Copy full SHA for 16db66b

• Merge remote-tracking branch 'origin/lean-pr-testing-2783' into nightly-testing

  kim-em

  committed
  9a7273b

  Copy full SHA for 9a7273b

Commits on Nov 11, 2023

• infer decidable instances for simp lemmas

  kim-em

  committed
  5a1bbad

  Copy full SHA for 5a1bbad

• toolchain

  kim-em

  committed
  5e086ed

  Copy full SHA for 5e086ed

• chore: bump to nightly-2023-11-11

  leanprover-community-mathlib4-bot

  committed
  7c68b32

  Copy full SHA for 7c68b32

Commits on Nov 12, 2023

• bump toolchain

  kim-em

  committed
  309aee1

  Copy full SHA for 309aee1

• merge lean-pr-testing-2816

  kim-em

  committed
  7d4ddd0

  Copy full SHA for 7d4ddd0

Commits on Nov 14, 2023

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  fade49b

  Copy full SHA for fade49b

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  5954d44

  Copy full SHA for 5954d44

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  aefa41b

  Copy full SHA for aefa41b

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  21a207e

  Copy full SHA for 21a207e

• chore: bump to nightly-2023-11-14

  leanprover-community-mathlib4-bot

  committed
  0da7d7e

  Copy full SHA for 0da7d7e

• .lake

  kim-em

  committed
  366988e

  Copy full SHA for 366988e

Commits on Nov 16, 2023

• Merge branch 'nightly-testing' into bump_v4.3.0-rc2

  kim-em

  committed
  03b914b

  Copy full SHA for 03b914b

• comp_def

  kim-em

  committed
  d5d3c14

  Copy full SHA for d5d3c14

• better gitignore

  kim-em

  committed
  56a98cd

  Copy full SHA for 56a98cd

• smaller diff

  kim-em

  committed
  38b376b

  Copy full SHA for 38b376b

• toolchain

  kim-em

  committed
  0c15f35

  Copy full SHA for 0c15f35

• forbidden character

  kim-em

  committed
  adeb7d4

  Copy full SHA for adeb7d4

Commits on Nov 17, 2023

• style

  digama0

  committed
  660c6d1

  Copy full SHA for 660c6d1