Skip to content
Compile blueprint

chore: bump mathlib to 79d0395, fix breaking changes #837

Sign in to view logs

chore: bump mathlib to 79d0395, fix breaking changes

chore: bump mathlib to 79d0395, fix breaking changes #837

Triggered via pull request July 16, 2026 07:32
@RemyDegenneRemyDegenne
synchronize #191
bump-mathlib/fix-79d0395
Status Failure
Total duration 13m 44s
Artifacts –

blueprint.yml

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

Annotations

1 error
Build project
Process completed with exit code 1.