ci-log-retrieval
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.
Informations de source
- Dépôt
- leanprover/lean4
- Dernière activité de la source
- 10 juin 2026 à 11:48
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 8 827
- Forks
- 937
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
