Skip to content
Semgrep config

add workaround for missing criterion --help feature #106

Sign in to view logs

add workaround for missing criterion --help feature

add workaround for missing criterion --help feature #106

Triggered via push November 7, 2024 11:29
@kornelskikornelski
pushed 777e8e0
master
Status Success
Total duration 8m 9s
Artifacts –

semgrep.yml

on: push
semgrep/ci
8m 2s
semgrep/ci
Fit to window
Zoom out
Zoom in