Skip to content
semgrep

Merge pull request #1554 from goblint/ppx_blob-unvendor #10800

Sign in to view logs

Merge pull request #1554 from goblint/ppx_blob-unvendor

Merge pull request #1554 from goblint/ppx_blob-unvendor #10800

Triggered via push September 9, 2024 10:32
@sim642sim642
pushed a881e9f
master
Status Success
Total duration 47s
Artifacts –

semgrep.yml

on: push
semgrep
37s
semgrep
Fit to window
Zoom out
Zoom in