Skip to content
semgrep

Improve multi-threaded valid-memcleanup #8297

Sign in to view logs

Improve multi-threaded valid-memcleanup

Improve multi-threaded valid-memcleanup #8297

Triggered via pull request November 19, 2023 17:15
@michael-schwarzmichael-schwarz
synchronize #1246
mrstanb:improve-multi-threaded-valid-memcleanup
Status Success
Total duration 42s
Artifacts –

semgrep.yml

on: pull_request
semgrep
32s
semgrep
Fit to window
Zoom out
Zoom in