Skip to content
Build

merge right-adjoint→is-monic #3543

Sign in to view logs

merge right-adjoint→is-monic

merge right-adjoint→is-monic #3543

Triggered via push March 8, 2025 14:29
@plt-amyplt-amy
pushed 70577a4
aliao/elementary-topoi
Status Cancelled
Total duration 1m 55s
Artifacts –

build.yml

on: push
build
1m 32s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
The operation was canceled.
build
Canceling since a higher priority waiting request for Build-refs/heads/aliao/elementary-topoi exists
Build
Canceling since a higher priority waiting request for Build-refs/heads/aliao/elementary-topoi exists