Skip to content
semgrep

Merge pull request #1424 from goblint/dune-runtest-output #4

Sign in to view logs

Merge pull request #1424 from goblint/dune-runtest-output

Merge pull request #1424 from goblint/dune-runtest-output #4

Triggered via push April 25, 2024 10:43
@Red-Panda64Red-Panda64
pushed 06bc1e1
master
Status Success
Total duration 5m 47s
Artifacts –

semgrep.yml

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