Skip to content

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

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 #1256

Triggered via pull request October 25, 2023 08:43
Status Success
Total duration 2m 39s
Artifacts 1

linters.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
darkerlint Expired
90 Bytes