Skip to content
semgrep

Merge pull request #1269 from goblint/svcomp24-funs #8396

Sign in to view logs

Merge pull request #1269 from goblint/svcomp24-funs

Merge pull request #1269 from goblint/svcomp24-funs #8396

Triggered via push November 22, 2023 12:32
@sim642sim642
pushed 3414f4f
master
Status Success
Total duration 44s
Artifacts –

semgrep.yml

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