Skip to content
build

Update lean and mathlib #109

Sign in to view logs

Update lean and mathlib

Update lean and mathlib #109

Triggered via push December 29, 2025 07:17
@girvinggirving
pushed 4a404ea
main
Status Success
Total duration 4m 56s
Artifacts –

lean.yml

on: push
Build
4m 53s
Build
Fit to window
Zoom out
Zoom in