Skip to content
options

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

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… #6198

Triggered via push September 29, 2023 14:26
@sim642sim642
pushed 8166b40
race-ignorable
Status Success
Total duration 26s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in