Skip to content
continuous integration (staging)

chore(SetTheory/Ordinal/Exponential): Ordinal.log cleanup (#17635) #10961

Sign in to view logs

chore(SetTheory/Ordinal/Exponential): Ordinal.log cleanup (#17635)

chore(SetTheory/Ordinal/Exponential): Ordinal.log cleanup (#17635) #10961

Triggered via push October 11, 2024 19:55
@mathlib-borsmathlib-bors[bot]
pushed 2a15456
staging
Status Cancelled
Total duration 29m 13s
Artifacts –

bors.yml

on: push
Lint style
54s
Lint style
Build
28m 40s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Post-CI job
The run was canceled by @github-actions[bot].
Post-CI job
The operation was canceled.