Skip to content
Semgrep

Update internal timers to use NewTimerWithOptions #771

Sign in to view logs

Update internal timers to use NewTimerWithOptions

Update internal timers to use NewTimerWithOptions #771

Triggered via pull request September 9, 2024 18:19
@yuandrewyuandrew
synchronize #1618
yuandrew:internal-timerwithoptions
Status Success
Total duration 31s
Artifacts –

semgrep.yml Required

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