Skip to content
Semgrep

Update internal timers to use NewTimerWithOptions #777

Sign in to view logs

Update internal timers to use NewTimerWithOptions

Update internal timers to use NewTimerWithOptions #777

Triggered via pull request September 10, 2024 21:53
@yuandrewyuandrew
synchronize #1618
yuandrew:internal-timerwithoptions
Status Success
Total duration 29s
Artifacts –

semgrep.yml Required

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