Skip to content
Build Lean project

Bump mathlib #240

Sign in to view logs

Bump mathlib

Bump mathlib #240

Triggered via push February 1, 2025 19:10
@YaelDilliesYaelDillies
pushed 268d19a
master
Status Success
Total duration 20m 36s
Artifacts –

push_master.yml

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