Skip to content
Compile blueprint

Update Mathlib (#45) #211

Sign in to view logs

Update Mathlib (#45)

Update Mathlib (#45) #211

Triggered via push December 17, 2025 14:30
@RemyDegenneRemyDegenne
pushed 3832604
main
Status Failure
Total duration 1h 31m 6s
Artifacts –

blueprint.yml

on: push
Build project
1h 31m
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
The hosted runner lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.