Skip to content
Compile blueprint

Bump mathlib dependency to 5eec30b (#200) #875

Sign in to view logs

Bump mathlib dependency to 5eec30b (#200)

Bump mathlib dependency to 5eec30b (#200) #875

Triggered via push July 29, 2026 10:54
@RemyDegenneRemyDegenne
pushed 3835988
main
Status Failure
Total duration 19m 38s
Artifacts –

blueprint.yml

on: push
Build project
19m 34s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.