Skip to content
semgrep

Merge pull request #1335 from goblint/issue-1249 #8939

Sign in to view logs

Merge pull request #1335 from goblint/issue-1249

Merge pull request #1335 from goblint/issue-1249 #8939

Triggered via push January 25, 2024 14:30
@sim642sim642
pushed c0e151d
master
Status Success
Total duration 42s
Artifacts –

semgrep.yml

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