Skip to content
Update Lean and Mathlib

Update Lean and Mathlib #575

Sign in to view logs

Update Lean and Mathlib

Update Lean and Mathlib #575

Triggered via schedule December 4, 2025 08:02
@SeasawherSeasawher
⁠ 31c80ae
main
Status Success
Total duration 3m 2s
Artifacts –

update.yaml

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