v4.15.0

Stream: nightly-testing

[Kim Morrison]

And while waiting on v4.16.0-rc2 to finish building, let's clean up the problems with v4.15.0.

[Kim Morrison]

Performing preliminary checks...
  ✅ Branch releases/v4.15.0 exists
  ✅ Tag v4.15.0 exists
  ✅ Release page for v4.15.0 exists

Checking repositories...

Repository: Batteries
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists
  ✅ Tag v4.15.0 is merged into stable

Repository: lean4checker
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists
  ✅ Tag v4.15.0 is merged into stable

Repository: doc-gen4
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists

Repository: Verso
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists

Repository: Cli
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists

Repository: ProofWidgets4
  ✅ On compatible toolchain (>= v4.15.0)

Repository: Aesop
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists
  ✅ Tag v4.15.0 is merged into stable

Repository: import-graph
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists

Repository: plausible
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists

Repository: Mathlib
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists
  ✅ Tag v4.15.0 is merged into stable

Repository: REPL
  ✅ On compatible toolchain (>= v4.15.0)
  ✅ Tag v4.15.0 exists
  ✅ Tag v4.15.0 is merged into stable

[Kim Morrison]

(Bumped Cli to v4.15.0)

[Kim Morrison]

(Created v4.15.0 tag for Cli)

[Kim Morrison]

(Merged v4.15.0 into stable at repl)