Skip to content
semgrep

Port ~50 library specifications to the new system #7918

Sign in to view logs

Port ~50 library specifications to the new system

Port ~50 library specifications to the new system #7918

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