Skip to content
Update Lean and Mathlib

Update Lean and Mathlib #600

Sign in to view logs

Update Lean and Mathlib

Update Lean and Mathlib #600

Triggered via schedule December 29, 2025 08:02
@SeasawherSeasawher
⁠ 8312709
main
Status Success
Total duration 3m 12s
Artifacts –

update.yaml

on: schedule
update
3m 5s
update
Fit to window
Zoom out
Zoom in