Skip to content
semgrep

Port ~50 library specifications to the new system #7898

Sign in to view logs

Port ~50 library specifications to the new system

Port ~50 library specifications to the new system #7898

Triggered via pull request October 1, 2023 13:20
@michael-schwarzmichael-schwarz
synchronize #1200
even_even_more_library
Status Success
Total duration 49s
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
40s
semgrep
Fit to window
Zoom out
Zoom in