Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,919 workflow run results
5,919 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Document ReturnUtil options #7150: Commit e847c8f pushed by sim642
January 11, 2024 13:46 17s master
master
January 11, 2024 13:46 17s
Merge pull request #1323 from goblint/threadEscape-combine_assign options #7149: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 22s master
master
January 11, 2024 13:42 22s
Merge pull request #1323 from goblint/threadEscape-combine_assign docs #241: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 19s master
master
January 11, 2024 13:42 19s
Merge pull request #1323 from goblint/threadEscape-combine_assign semgrep #8808: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 42s master
master
January 11, 2024 13:42 42s
Merge pull request #1323 from goblint/threadEscape-combine_assign locked #9527: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 21m 9s master
master
January 11, 2024 13:42 21m 9s
Merge pull request #1323 from goblint/threadEscape-combine_assign indentation #9130: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 2m 56s master
master
January 11, 2024 13:42 2m 56s
Implement combine_assign in threadEscape locked #9526: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 24m 42s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 24m 42s
Implement combine_assign in threadEscape options #7148: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 26s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 26s
Implement combine_assign in threadEscape semgrep #8807: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 34s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 34s
Implement combine_assign in threadEscape indentation #9129: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 2m 50s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 2m 50s