Skip to content
semgrep

Avoid MustJoinedThreads query in ThreadDigest if not needed #8493

Sign in to view logs

Avoid MustJoinedThreads query in ThreadDigest if not needed

Avoid MustJoinedThreads query in ThreadDigest if not needed #8493

Triggered via push November 30, 2023 11:35
@sim642sim642
pushed 05198f9
mutex-meet-digest
Status Success
Total duration 51s
Artifacts –

semgrep.yml

on: push
semgrep
40s
semgrep
Fit to window
Zoom out
Zoom in