Skip to content
Compile blueprint

Bump mathlib dependency to v4.34.0-rc2 #939

Sign in to view logs

Bump mathlib dependency to v4.34.0-rc2

Bump mathlib dependency to v4.34.0-rc2 #939

Re-run triggered August 22, 2026 06:03
@RemyDegenneRemyDegenne
#219
hopscotch/lkg-bump
Status Cancelled
Total duration 9m 11s
Artifacts –

blueprint.yml

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

Annotations

3 errors
Build project
Canceling since a higher priority waiting request for refs/pull/219/merge exists
Build project
The operation was canceled.
Compile blueprint
Canceling since a higher priority waiting request for refs/pull/219/merge exists