Skip to content

helper: add metrics for agg job timings #152

helper: add metrics for agg job timings

helper: add metrics for agg job timings #152

Triggered via pull request October 22, 2024 18:55
Status Success
Total duration 22s
Artifacts

semgrep.yml

on: pull_request
semgrep/ci
11s
semgrep/ci
Fit to window
Zoom out
Zoom in