Skip to content
Compile blueprint

Bump mathlib dependency to 7226ed1 (#218) #936

Sign in to view logs

Bump mathlib dependency to 7226ed1 (#218)

Bump mathlib dependency to 7226ed1 (#218) #936

Triggered via push August 21, 2026 06:54
@RemyDegenneRemyDegenne
pushed eb4e8ca
main
Status Cancelled
Total duration 15m 35s
Artifacts 1

blueprint.yml

on: push
Build project
15m 31s
Build project
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
referee-data
833 KB
sha256:0ffbca78bc79545429a4bce17cfcd656d3805011bfa8684284b95f3c46a2ac50