Skip to content

frontend: allow dot and plus characters in chroot denylist #153

frontend: allow dot and plus characters in chroot denylist

frontend: allow dot and plus characters in chroot denylist #153

Triggered via push December 12, 2023 11:49
Status Success
Total duration 31s
Artifacts 1
python-lint-job
20s
python-lint-job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
VCS Diff Lint SARIF Expired
616 Bytes