GitHub Actions Skill

Teach agents how to trigger, monitor, and manage GitHub Actions workflows for the LeanSpec project.

Core Principles

1. Use GitHub CLI (gh) - All workflow interactions use the gh CLI tool
2. Check Status Before Acting - Always verify current run status before triggering new ones
3. Monitor Until Completion - Background workflows need periodic status checks
4. Artifacts Are Ephemeral - Download important artifacts before they expire (default: 30 days)
5. Respect Rate Limits - Don't poll too frequently (minimum 30s between checks)

Available Workflows