mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
This PR fixes `release_checklist.py` to report failing CI checks immediately, even when other checks are still in progress. Previously, having any in-progress checks would return `"pending"` status, masking failures that had already occurred. Now it returns `"failure"` with a message like `"1 check(s) failing, 2 still in progress"`. Also adds a section to `.claude/commands/release.md` instructing the AI assistant to investigate any CI failure immediately rather than reporting it as "in progress" and moving on. 🤖 Prepared with Claude Code Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>