Skip to content
Compile blueprint

Update Mathlib #209

Sign in to view logs

Update Mathlib

Update Mathlib #209

Triggered via pull request December 17, 2025 14:14
@RemyDegenneRemyDegenne
opened #45
work
Status Success
Total duration 5m 17s
Artifacts –

blueprint.yml

on: pull_request
Build project
5m 13s
Build project
Fit to window
Zoom out
Zoom in