Skip to content
Semgrep

Update internal timers to use NewTimerWithOptions #773

Sign in to view logs

Update internal timers to use NewTimerWithOptions

Update internal timers to use NewTimerWithOptions #773

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

semgrep.yml Required

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