Code

chore: bump toolchain to v4.10.0-rc1#15

Code

Merged

kim-em merged 8 commits intomainleanprover-community/import-graph:mainfrom bump_to_v4.10.0-rc1leanprover-community/import-graph:bump_to_v4.10.0-rc1Copy head branch name to clipboardJul 1, 2024

+5-4

Commits

Commits on Mar 15, 2024

• fix for nightly-2024-03-15

  kim-em

  committed
  f039832

  Copy full SHA for f039832

Commits on Mar 18, 2024

• fix

  kim-em

  committed
  10a2177

  Copy full SHA for 10a2177

Commits on Mar 24, 2024

• fix

  kim-em

  committed
  7f50814

  Copy full SHA for 7f50814

Commits on Apr 2, 2024

• fix and bump

  kim-em

  committed
  2fdbdc4

  Copy full SHA for 2fdbdc4

Commits on Jun 16, 2024

• update

  kim-em

  committed
  418331c

  Copy full SHA for 418331c

Commits on Jul 1, 2024

• chore: bump toolchain to v4.10.0-rc1

  kim-em

  committed
  66e1314

  Copy full SHA for 66e1314

• merge nightly-testing

  kim-em

  committed
  8739e13

  Copy full SHA for 8739e13

• fix mergre

  kim-em

  committed
  7fbd81c

  Copy full SHA for 7fbd81c