Skip to content

helper: add metrics for agg job timings #155

helper: add metrics for agg job timings

helper: add metrics for agg job timings #155

Triggered via pull request October 23, 2024 16:45
Status Success
Total duration 1m 16s
Artifacts

semgrep.yml

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