Skip to content

Merge pull request #3462 from semgrep/merge-develop-to-release #2251

Merge pull request #3462 from semgrep/merge-develop-to-release

Merge pull request #3462 from semgrep/merge-develop-to-release #2251

Triggered via push August 28, 2024 10:09
Status Skipped
Total duration 2s
Artifacts

num-rules.yml

on: push
Update Dashboard
0s
Update Dashboard
Fit to window
Zoom out
Zoom in