Skip to content

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

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

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

Triggered via push July 29, 2024 04:01
Status Skipped
Total duration 3s
Artifacts

num-rules.yml

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