Skip to content

merge 0.12-rc into main branch (#391) #347

merge 0.12-rc into main branch (#391)

merge 0.12-rc into main branch (#391) #347

Triggered via push January 18, 2024 09:10
Status Success
Total duration 46s
Artifacts

semgrep.yml

on: push
run-semgrep
38s
run-semgrep
Fit to window
Zoom out
Zoom in