Skip to content

feat: add zone selection to support a box like selection from given selection #1300

feat: add zone selection to support a box like selection from given selection

feat: add zone selection to support a box like selection from given selection #1300

Triggered via pull request November 9, 2023 09:23
Status Cancelled
Total duration 18s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linters.yaml

on: pull_request
darker_lint
7s
darker_lint
pylint_check
5s
pylint_check
mypy
5s
mypy
Fit to window
Zoom out
Zoom in

Annotations

6 errors
darker_lint
Canceling since a higher priority waiting request for 'refs/pull/4324/merge-box-selection-linters' exists
darker_lint
The operation was canceled.
mypy
Canceling since a higher priority waiting request for 'refs/pull/4324/merge-box-selection-linters' exists
mypy
The operation was canceled.
pylint_check
Canceling since a higher priority waiting request for 'refs/pull/4324/merge-box-selection-linters' exists
pylint_check
The operation was canceled.