Update Lean and Mathlib

Update Lean and Mathlib #599

Sign in to view logs

Triggered via schedule December 28, 2025 08:01

Seasawher

main

Status Success

Total duration 3m 23s

Artifacts –

update.yaml

on: schedule