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.
Datos de origen
- Repositorio
- leanprover/lean4
- Última actividad en el origen
- 10 de junio de 2026 a las 11:48
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 8827
- Forks
- 937
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
