Skip to content
Compile blueprint

Prove some sorrys, update Mathlib #190

Sign in to view logs

Prove some sorrys, update Mathlib

Prove some sorrys, update Mathlib #190

Triggered via pull request October 23, 2025 10:00
@RemyDegenneRemyDegenne
synchronize #38
work
Status Cancelled
Total duration 1h 4m 27s
Artifacts –

blueprint.yml

on: pull_request
Build project
1h 4m
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