# CI Log Retrieval > CI 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. - Skill name: `ci-log-retrieval` - Category: [DevOps & Security](https://www.openparable.com/skill/devops-security/1) - Source: https://github.com/leanprover/lean4/blob/HEAD/.claude/skills/ci-log-retrieval/SKILL.md - Repository: leanprover/lean4 (8,490 GitHub stars when collected) ## SKILL.md # 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: ```bash gh run view --log gh run view --log-failed gh run view --job= # 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. --- Source: https://www.openparable.com/skill/devops-security/ci-log-retrieval (OpenParable). Cite the canonical URL above.