Code

chore: update release_checklist.md#6919

Code

Merged

kim-em merged 6 commits intomasterleanprover/lean4:masterfrom update_release_checklist2leanprover/lean4:update_release_checklist2Copy head branch name to clipboardFeb 3, 2025

+58-22

Commits

Commits on Feb 3, 2025

• updates to release_checklist

  kim-em

  committed
  a3a6edc

  Copy full SHA for a3a6edc

• release checklist updates

  kim-em

  committed
  7d5cd47

  Copy full SHA for 7d5cd47

• merge

  kim-em

  committed
  81373a7

  Copy full SHA for 81373a7

• Update doc/dev/release_checklist.md

  Show description for eaf2e5f
  

  kim-em

  and

  jcommelin

  authored
  eaf2e5f

  Copy full SHA for eaf2e5f

• Update doc/dev/release_checklist.md

  kim-em

  authored
  e8b1980

  Copy full SHA for e8b1980

• Update doc/dev/release_checklist.md

  kim-em

  authored
  c03d519

  Copy full SHA for c03d519