Skip to content
semgrep

sem_post #7894

Sign in to view logs

sem_post

sem_post #7894

Triggered via push October 1, 2023 12:49
@michael-schwarzmichael-schwarz
pushed 9fae0dc
even_even_more_library
Status Success
Total duration 45s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

semgrep.yml

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