Skip to content

plugins/semgrep: fix chroot root path stripping issue #250

plugins/semgrep: fix chroot root path stripping issue

plugins/semgrep: fix chroot root path stripping issue #250

Triggered via pull request April 23, 2024 08:17
Status Success
Total duration 26s
Artifacts 1

differential-pylint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Differential PyLint SARIF Expired
373 Bytes