Skip to content
Build

Discrete cocartesian fibrations #3339

Sign in to view logs

Discrete cocartesian fibrations

Discrete cocartesian fibrations #3339

Triggered via pull request January 17, 2025 14:47
@TOTBWFTOTBWF
opened #458
discrete-cocartesian
Status Cancelled
Total duration 52s
Artifacts –

build.yml

on: pull_request
build
42s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Build-refs/pull/458/merge' exists
build
The operation was canceled.