Skip to content
semgrep

Merge with master. #8457

Sign in to view logs

Merge with master.

Merge with master. #8457

Triggered via push November 27, 2023 14:18
@jerhardjerhard
pushed 4d2783c
modular_function_summaries
Status Success
Total duration 40s
Artifacts –

semgrep.yml

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