Skip to content

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

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

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

linters.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
darkerlint Expired
90 Bytes