Code

chore: move to v4.8.0-rc1#13

Code

Merged

kim-em merged 6 commits intomasterleanprover/lean4checker:masterfrom bump/v4.8.0leanprover/lean4checker:bump/v4.8.0Copy head branch name to clipboardMay 2, 2024

+2-2

Commits

Commits on Mar 18, 2024

• chore: adaptations for nightly-2024-03-16

  kim-em

  committed
  64817f4

  Copy full SHA for 64817f4

• adaptations for v4.8.0

  kim-em

  committed
  4d2ed60

  Copy full SHA for 4d2ed60

Commits on Apr 30, 2024

• fix test.sh

  kim-em

  committed
  f6a8ce3

  Copy full SHA for f6a8ce3

• merge nightly-testing

  kim-em

  committed
  4d65e92

  Copy full SHA for 4d65e92

Commits on May 2, 2024

• move to v4.8.0-rc1

  kim-em

  committed
  b68e32c

  Copy full SHA for b68e32c

• no need for trim

  kim-em

  committed
  76da07e

  Copy full SHA for 76da07e