Skip to content
Compile blueprint

chore(ForMathlib/AlgebraicTopology/SimplicialSet/Homotopy): golf #325

Sign in to view logs

chore(ForMathlib/AlgebraicTopology/SimplicialSet/Homotopy): golf

chore(ForMathlib/AlgebraicTopology/SimplicialSet/Homotopy): golf #325

Triggered via push February 3, 2025 10:17
@pitmonticonepitmonticone
pushed c7e3c99
main
Status Cancelled
Total duration 41s
Artifacts –

blueprint.yml

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

Annotations

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