Skip to content
semgrep

Merge pull request #1347 from goblint/evalfunvar-dead #9003

Sign in to view logs

Merge pull request #1347 from goblint/evalfunvar-dead

Merge pull request #1347 from goblint/evalfunvar-dead #9003

Triggered via push January 29, 2024 13:53
@sim642sim642
pushed 5224948
master
Status Success
Total duration 41s
Artifacts –

semgrep.yml

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