Skip to content
Compile blueprint

Prove some sorrys, update Mathlib #189

Sign in to view logs

Prove some sorrys, update Mathlib

Prove some sorrys, update Mathlib #189

Triggered via pull request October 23, 2025 09:58
@RemyDegenneRemyDegenne
synchronize #38
work
Status Cancelled
Total duration 2m 34s
Artifacts –

blueprint.yml

on: pull_request
Build project
2m 20s
Build project
Fit to window
Zoom out
Zoom in

Annotations

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