Skip to content
.github/workflows/lean_build.yml

bump mathlib #286

Sign in to view logs

bump mathlib

bump mathlib #286

Triggered via pull request November 20, 2024 07:43
@mo271mo271
opened #79
mathlib_bump
Status Success
Total duration 2m 8s
Artifacts –

lean_build.yml

on: pull_request
Build project
1m 58s
Build project
Fit to window
Zoom out
Zoom in