Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,387 workflow run results
4,387 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add __goblint_globalize special function indentation #9136: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 2m 49s priv-atomic
priv-atomic
January 11, 2024 14:53 2m 49s
Add __goblint_globalize special function options #7155: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 18s priv-atomic
priv-atomic
January 11, 2024 14:53 18s
Add __goblint_globalize special function semgrep #8814: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 41s priv-atomic
priv-atomic
January 11, 2024 14:53 41s
Add __goblint_globalize special function locked #9533: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 37m 28s priv-atomic
priv-atomic
January 11, 2024 14:53 37m 28s
Delete duplicate priv-atomic tests locked #9532: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 32m 55s priv-atomic
priv-atomic
January 11, 2024 14:44 32m 55s
Delete duplicate priv-atomic tests indentation #9135: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 3m 7s priv-atomic
priv-atomic
January 11, 2024 14:44 3m 7s
Delete duplicate priv-atomic tests options #7154: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 19s priv-atomic
priv-atomic
January 11, 2024 14:44 19s
Delete duplicate priv-atomic tests semgrep #8813: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 41s priv-atomic
priv-atomic
January 11, 2024 14:44 41s
Separate relation mutex-meet-tid with atomic support options #7153: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 26s priv-atomic
priv-atomic
January 11, 2024 14:34 26s
Separate relation mutex-meet-tid with atomic support semgrep #8812: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 39s priv-atomic
priv-atomic
January 11, 2024 14:34 39s
Separate relation mutex-meet-tid with atomic support indentation #9134: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 2m 52s priv-atomic
priv-atomic
January 11, 2024 14:34 2m 52s
Separate relation mutex-meet-tid with atomic support locked #9531: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 36m 31s priv-atomic
priv-atomic
January 11, 2024 14:34 36m 31s
Separate base privatization with atomic support locked #9530: Commit f754362 pushed by sim642
January 11, 2024 14:01 19m 24s priv-atomic
priv-atomic
January 11, 2024 14:01 19m 24s
Separate base privatization with atomic support options #7152: Commit f754362 pushed by sim642
January 11, 2024 14:01 19s priv-atomic
priv-atomic
January 11, 2024 14:01 19s
Separate base privatization with atomic support indentation #9133: Commit f754362 pushed by sim642
January 11, 2024 14:01 3m 15s priv-atomic
priv-atomic
January 11, 2024 14:01 3m 15s
Separate base privatization with atomic support semgrep #8811: Commit f754362 pushed by sim642
January 11, 2024 14:01 34s priv-atomic
priv-atomic
January 11, 2024 14:01 34s
Fix goblint-lib-modules.py output semgrep #8810: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 37s master
master
January 11, 2024 13:46 37s
Fix goblint-lib-modules.py output docs #243: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 5m 44s master
master
January 11, 2024 13:46 5m 44s
Fix goblint-lib-modules.py output indentation #9132: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 2m 49s master
master
January 11, 2024 13:46 2m 49s
Fix goblint-lib-modules.py output locked #9529: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 30m 10s master
master
January 11, 2024 13:46 30m 10s
Fix goblint-lib-modules.py output options #7151: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 21s master
master
January 11, 2024 13:46 21s
Document ReturnUtil semgrep #8809: Commit e847c8f pushed by sim642
January 11, 2024 13:46 37s master
master
January 11, 2024 13:46 37s
Document ReturnUtil docs #242: Commit e847c8f pushed by sim642
January 11, 2024 13:46 55s master
master
January 11, 2024 13:46 55s
Document ReturnUtil indentation #9131: Commit e847c8f pushed by sim642
January 11, 2024 13:46 2m 48s master
master
January 11, 2024 13:46 2m 48s
Document ReturnUtil locked #9528: Commit e847c8f pushed by sim642
January 11, 2024 13:46 24m 14s master
master
January 11, 2024 13:46 24m 14s