Skip to content
Update Lean and Mathlib

Update Lean and Mathlib #281

Sign in to view logs

Update Lean and Mathlib

Update Lean and Mathlib #281

Triggered via schedule February 15, 2025 08:01
@SeasawherSeasawher
⁠ a1aba3a
main
Status Success
Total duration 2m 16s
Artifacts –

update.yaml

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

Annotations

1 warning
update
Cache not found for keys: lake-Linux-5385896ede51d75311d71b6c0476f5728b7c992239c896738d5277fb28b92e15-ba547ed774ac4262021564b0cab399ce08ad23ab0c268472f5fe98d034880a93-a1aba3a76fd60448f1a83d7f7febc1990e3181fb, lake-Linux-5385896ede51d75311d71b6c0476f5728b7c992239c896738d5277fb28b92e15-ba547ed774ac4262021564b0cab399ce08ad23ab0c268472f5fe98d034880a93