CI Log Retrieval
DevOps & Securityci-log-retrievalCI Log Retrieval is an Agent Skill for devops & security published in the leanprover/lean4 repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.
Retrieve and investigate failing Lean CI job logs. Use when a CI job fails and you need to fetch its logs, or when monitoring a CI run for failures.
How to use this skill
Bring this guide into your coding agent with a prompt tailored to the tool you use.
- Open your project in Codex.
- Copy and paste the prompt below.
- Review files and risks before approving any action.
Inspect the Agent Skill at https://github.com/leanprover/lean4/blob/HEAD/.claude/skills/ci-log-retrieval/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/ci-log-retrieval, but wait for my approval before writing files or running scripts.
Copying this prompt does not install or run the skill. Review third-party files before use.
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 <run-id> --log
gh run view <run-id> --log-failed
gh run view <run-id> --job=<job-id> # 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.