Skip to content

semgrep: update & various fixes (#4054) #4931

semgrep: update & various fixes (#4054)

semgrep: update & various fixes (#4054) #4931

Triggered via push January 11, 2024 00:20
Status Success
Total duration 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tests.yml

on: push
Fit to window
Zoom out
Zoom in