Add public CI lint job #41
Triggered via pull request
December 5, 2025 07:19
Status
Cancelled
Total duration
1m 46s
Artifacts
–
ci.yml
on: pull_request
Check for source changes
4s
Lint
18s
Matrix: build-ci-images
Matrix: build-wheel
Build docs
18s
Annotations
10 errors and 2 warnings
|
Build CI Image (Python 3.13)
Canceling since a higher priority waiting request for CI-refs/pull/4/merge exists
|
|
Build CI Image (Python 3.13)
The operation was canceled.
|
|
Build CI Image (Python 3.10)
Canceling since a higher priority waiting request for CI-refs/pull/4/merge exists
|
|
Build CI Image (Python 3.10)
The operation was canceled.
|
|
Build CI Image (Python 3.12)
Canceling since a higher priority waiting request for CI-refs/pull/4/merge exists
|
|
Build CI Image (Python 3.11)
Canceling since a higher priority waiting request for CI-refs/pull/4/merge exists
|
|
Build CI Image (Python 3.12)
The operation was canceled.
|
|
Build CI Image (Python 3.11)
The operation was canceled.
|
|
Build docs
Docker pull failed with exit code 1
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/4/merge exists
|
|
Build docs
Docker pull failed with exit code 1, back off 7.515 seconds before retry.
|
|
Build docs
Docker pull failed with exit code 1, back off 5.915 seconds before retry.
|