Skip to content
Compile blueprint

Move files about Mathlib objects to a ForMathlib folder #651

Sign in to view logs

Move files about Mathlib objects to a ForMathlib folder

Move files about Mathlib objects to a ForMathlib folder #651

Triggered via pull request June 16, 2026 15:19
@RemyDegenneRemyDegenne
synchronize #110
cleanup
Status Success
Total duration 16m 23s
Artifacts –

blueprint.yml

on: pull_request
Build project
16m 9s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Failed to restore: