Kim Morrison cbee80d92c chore: improve CI failure reporting in release checklist (#12786) ...

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>

2026-03-04 11:55:34 +00:00

..

commands

chore: improve CI failure reporting in release checklist (#12786)

2026-03-04 11:55:34 +00:00

skills

chore: fix profiler shebang and add profiling skill (#12519)

2026-03-01 07:09:33 +00:00

CLAUDE.md

fix: validate stage0 version matches release version (#12700)

2026-03-04 01:31:29 +00:00

settings.json

chore: enable leanprover/skills plugin for Claude Code (#12609)

2026-02-20 12:35:32 +00:00