Code

chore: new PR changelog template#5976

Code

Merged

Kha merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:pr-changelogKha/lean4:pr-changelogCopy head branch name to clipboardNov 7, 2024

+31-1

Commits

Commits on Nov 6, 2024

• chore: new PR changelog template

  Kha

  committed
  b6befe6

Commits on Nov 7, 2024

• line -> paragraph

  Kha

  authored
  f3ae0cb