Skip to content
build

Update mathlib #51

Sign in to view logs

Update mathlib

Update mathlib #51

Triggered via push October 3, 2024 20:41
@girvinggirving
pushed 8520c87
main
Status Success
Total duration 5m 14s
Artifacts –

lean.yml

on: push
Build
5m 3s
Build
Fit to window
Zoom out
Zoom in