Skip to content
Update Lean

Update Lean and Mathlib #1

Sign in to view logs

Update Lean and Mathlib

Update Lean and Mathlib #1

Manually triggered May 10, 2024 13:16
@SeasawherSeasawher
⁠ bf5cf60
main
Status Failure
Total duration 1m 15s
Artifacts –

update.yaml

on: workflow_dispatch
update_lean
1m 7s
update_lean
Fit to window
Zoom out
Zoom in

Annotations

1 error
update_lean
The process '/usr/bin/git' failed with exit code 128