Skip to content
update

update #2570

Sign in to view logs

update

update #2570

Triggered via schedule June 19, 2024 07:34
@digama0digama0
⁠ e993e1f
master
Status Success
Total duration 4m 19s
Artifacts –

update.yml

on: schedule
Auto-update mathlib4
4m 10s
Auto-update mathlib4
Fit to window
Zoom out
Zoom in