Skip to content
Update Lean and Mathlib

Update Lean and Mathlib #607

Sign in to view logs

Update Lean and Mathlib

Update Lean and Mathlib #607

Triggered via schedule January 5, 2026 08:02
@SeasawherSeasawher
⁠ fe80c86
main
Status Success
Total duration 3m 0s
Artifacts –

update.yaml

on: schedule
update
2m 55s
update
Fit to window
Zoom out
Zoom in