Skip to content
semgrep

Merge pull request #1212 from goblint/libfuns-concrat #8084

Sign in to view logs

Merge pull request #1212 from goblint/libfuns-concrat

Merge pull request #1212 from goblint/libfuns-concrat #8084

Triggered via push October 26, 2023 08:18
@sim642sim642
pushed 5a35656
master
Status Success
Total duration 1m 1s
Artifacts –

semgrep.yml

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