Code

chore: bump toolchain to v4.14.0-rc1#65

Code

Merged

kim-em merged 8 commits intomasterleanprover-community/quote4:masterfrom nightly-testingleanprover-community/quote4:nightly-testingCopy head branch name to clipboardNov 4, 2024

+11-2

Commits

Commits on Aug 8, 2024

• fixes

  kim-em

  committed
  7f481b2

Commits on Aug 9, 2024

• merge

  kim-em

  committed
  61cc015

Commits on Sep 23, 2024

• chore: account for UInt refactoring

  hargoniX

  committed
  6e87b74

Commits on Oct 14, 2024

• Merge remote-tracking branch 'origin/master' into lean-pr-testing-5323

  kim-em

  committed
  2b14204

Commits on Oct 17, 2024

• merge master

  kim-em

  committed
  9486095

• merge lean-pr-testing-5323

  kim-em

  committed
  0495948

Commits on Nov 4, 2024

• chore: bump toolchain to v4.14.0-rc1

  kim-em

  committed
  ae1c764

• merge master

  kim-em

  committed
  2adf619