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.
Quellinformationen
- Repository
- leanprover/lean4
- Letzte Quellaktivität
- 10. Juni 2026 um 11:48
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 8.827
- Forks
- 937
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
