From a96ae4bb12e8461eb1020a9193a548778dc17721 Mon Sep 17 00:00:00 2001 From: Kim Morrison <477956+kim-em@users.noreply.github.com> Date: Sat, 10 Jan 2026 18:41:41 +1100 Subject: [PATCH] chore: add CI log retrieval guidance to CLAUDE.md (#11964) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This PR adds guidance for investigating CI failures promptly rather than waiting for other jobs to complete. --- 🤖 Prepared with Claude Code Co-authored-by: Claude --- .claude/CLAUDE.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md index c2a9c17339..f58ac33166 100644 --- a/.claude/CLAUDE.md +++ b/.claude/CLAUDE.md @@ -45,3 +45,7 @@ feat: add optional binder limit to `mkPatternFromTheorem` This PR adds a `num?` parameter to `mkPatternFromTheorem` to control how many leading quantifiers are stripped when creating a pattern. ``` + +## CI Log Retrieval + +When CI jobs fail, investigate immediately - don't wait for other jobs to complete. Individual job logs are often available even while other jobs are still running. Try `gh run view --log` or `gh run view --log-failed`, or use `gh run view --job=` to target the specific failed job. Sleeping is fine when asked to monitor CI and no failures exist yet, but once any job fails, investigate that failure immediately.