Code

chore: bump toolchain to v4.15.0-rc1#9

Code

Merged

kim-em merged 8 commits intomainleanprover-community/plausible:mainfrom bump_toolchain_to_v4.15.0-rc1leanprover-community/plausible:bump_toolchain_to_v4.15.0-rc1Copy head branch name to clipboardDec 2, 2024

+8-8

Commits

Commits on Nov 12, 2024

• bump toolchain/batteries

  kim-em

  committed
  9e0c7a0

  Copy full SHA for 9e0c7a0

• bump toolchain/batteries

  kim-em

  committed
  bd638d7

  Copy full SHA for bd638d7

• fixes for ngihtly-2024-11-12

  kim-em

  committed
  31347da

  Copy full SHA for 31347da

Commits on Nov 28, 2024

• bump toolchain and batteries

  kim-em

  committed
  011b21f

  Copy full SHA for 011b21f

• deprecations

  kim-em

  committed
  d1fe662

  Copy full SHA for d1fe662

Commits on Dec 2, 2024

• chore: bump toolchain to v4.15.0-rc1

  kim-em

  committed
  8cc788e

  Copy full SHA for 8cc788e

• fix

  kim-em

  committed
  d64043d

  Copy full SHA for d64043d

• merge

  kim-em

  committed
  7d0da3f

  Copy full SHA for 7d0da3f