Skip to content
Build Lean project

Bump mathlib #237

Sign in to view logs

Bump mathlib

Bump mathlib #237

Triggered via push January 30, 2025 21:31
@YaelDilliesYaelDillies
pushed fcb078e
master
Status Success
Total duration 20m 21s
Artifacts –

push_master.yml

on: push
Lint style
2s
Lint style
Build project
20m 11s
Build project
Fit to window
Zoom out
Zoom in