Skip to content
semgrep

Merge pull request #1310 from goblint/unboxed #8824

Sign in to view logs

Merge pull request #1310 from goblint/unboxed

Merge pull request #1310 from goblint/unboxed #8824

Triggered via push January 12, 2024 09:26
@sim642sim642
pushed eade39e
master
Status Success
Total duration 41s
Artifacts –

semgrep.yml

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