Skip to content
continuous integration (staging)

feat(RingTheory/AlgebraicIndependent): add some results on `Algebraic… #11496

Sign in to view logs

feat(RingTheory/AlgebraicIndependent): add some results on `Algebraic…

feat(RingTheory/AlgebraicIndependent): add some results on `Algebraic… #11496

Triggered via push October 30, 2024 05:09
@mathlib-borsmathlib-bors[bot]
pushed ef29c80
staging
Status Cancelled
Total duration 53m 48s
Artifacts –

bors.yml

on: push
Lint style
29s
Lint style
Build
35m 44s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Post-CI job
GitHub Actions has encountered an internal error when running your job.
Post-CI job
GitHub Actions has encountered an internal error when running your job.
Post-CI job
GitHub Actions has encountered an internal error when running your job.