Skip to content
semgrep

Port ~50 library specifications to the new system #7928

Sign in to view logs

Port ~50 library specifications to the new system

Port ~50 library specifications to the new system #7928

Triggered via pull request October 1, 2023 14:21
@michael-schwarzmichael-schwarz
synchronize #1200
even_even_more_library
Status Success
Total duration 41m 58s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

semgrep.yml

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