Code

docs: release notes for v1-beta#39

Code

Merged

austinletson merged 1 commit intomainleanprover/lean-action:mainfrom update-readme-and-changelog-for-v1-betaleanprover/lean-action:update-readme-and-changelog-for-v1-betaCopy head branch name to clipboardMay 21, 2024

+13-7

Commits

Commits on May 21, 2024

• docs: release notes for v1-beta

  austinletson

  committed
  a20e08c

  Copy full SHA for a20e08c