Skip to content
semgrep

Merge pull request #1063 from goblint/evalfun-ptranal #8899

Sign in to view logs

Merge pull request #1063 from goblint/evalfun-ptranal

Merge pull request #1063 from goblint/evalfun-ptranal #8899

Triggered via push January 23, 2024 08:43
@sim642sim642
pushed 591154f
master
Status Success
Total duration 42s
Artifacts –

semgrep.yml

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