Skip to content
Compile blueprint

Prove some sorrys, update Mathlib (#38) #193

Sign in to view logs

Prove some sorrys, update Mathlib (#38)

Prove some sorrys, update Mathlib (#38) #193

Triggered via push October 23, 2025 11:26
@RemyDegenneRemyDegenne
pushed 84698ca
main
Status Cancelled
Total duration 6h 0m 25s
Artifacts –

blueprint.yml

on: push
Build project
6h 0m
Build project
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build project
The job has exceeded the maximum execution time of 6h0m0s
Build project
The operation was canceled.