Skip to content
semgrep

Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… #7869

Sign in to view logs

Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac…

Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… #7869

Triggered via push September 29, 2023 14:26
@sim642sim642
pushed 8166b40
race-ignorable
Status Success
Total duration 52s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

semgrep.yml

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