Skip to content
Build Lean project

Bump mathlib #13

Sign in to view logs

Bump mathlib

Bump mathlib #13

Triggered via push December 10, 2025 09:56
@YaelDilliesYaelDillies
pushed e3fe6bc
master
Status Success
Total duration 43m 9s
Artifacts 1

push.yml

on: push
Lint style
5s
Lint style
Build project
43m 5s
Build project
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
30.2 MB
sha256:eb990fa92f69ac09659ada45f5b9acb3ca50052ebab45fe4e2b202fe50ad7ec0