commit: cda84702e9b31165f1f83c657b532f36f34e0bd0

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Mon Mar 02 13:49:34 2026 +1100
committer: GitHub <noreply@github.com>

Mon Mar 02 02:49:34 2026 +0000
tree: d35cfd9f767412ee1229f0ba092f2531197774ff
parent: ec565f3bf7a3985b6b8592f5cb5fa063b86a0ecf [diff]

doc: add guidance on waiting for CI/merges in release command (#12755)

This PR adds a section to the /release command explaining how to use `gh
pr checks --watch` to wait for CI or merges without polling.

🤖 Prepared with Claude Code

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

.claude/commands/release.md[diff]

1 file changed

tree: d35cfd9f767412ee1229f0ba092f2531197774ff

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.