Skip to content
build

Update lean and mathlib #95

Sign in to view logs

Update lean and mathlib

Update lean and mathlib #95

Triggered via push December 29, 2025 08:00
@girvinggirving
pushed 3bd6305
main
Status Success
Total duration 7m 41s
Artifacts –

lean.yml

on: push
build
7m 37s
build
Fit to window
Zoom out
Zoom in