Skip to content

Semgrep

Semgrep #1417

semgrep/ci

succeeded Jan 13, 2025 in 4m 56s
Set up job
0s
Initialize containers
8s
Run actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744
6s
Run semgrep ci
4m 40s
Post Run actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744
0s
Stop containers
1s
Complete job
0s