Skip to content

Fixes when merging in extraction #771

Fixes when merging in extraction

Fixes when merging in extraction #771

Triggered via pull request April 14, 2026 14:37
Status Cancelled
Total duration 1m 41s
Artifacts

lint.yml

on: pull_request
Matrix: Lint
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Lint (3.14)
Canceling since a higher priority waiting request for refs/pull/223/merge exists
Lint (3.14)
The operation was canceled.
Lint (3.9)
Canceling since a higher priority waiting request for refs/pull/223/merge exists
Lint (3.9)
The operation was canceled.
Lint (3.12)
Canceling since a higher priority waiting request for refs/pull/223/merge exists
Lint (3.12)
The operation was canceled.
Checks
Canceling since a higher priority waiting request for refs/pull/223/merge exists