Skip to content

Actions: goblint/analyzer

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,229 workflow run results
2,229 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1265 from goblint/mutex-meet-tid-memsafety
options #6794: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 17s master
November 27, 2023 16:19 17s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety
semgrep #8462: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 40s master
November 27, 2023 16:19 40s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety
locked #9127: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 29m 58s master
November 27, 2023 16:19 29m 58s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety
docs #197: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 5m 35s master
November 27, 2023 16:19 5m 35s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety
indentation #8775: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 2m 54s master
November 27, 2023 16:19 2m 54s
Add some hacky atomic privatizations
options #6793: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 24s priv-atomic
November 27, 2023 15:15 24s
Add some hacky atomic privatizations
semgrep #8461: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 42s priv-atomic
November 27, 2023 15:15 42s
Add some hacky atomic privatizations
indentation #8774: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 3m 16s priv-atomic
November 27, 2023 15:15 3m 16s
Add some hacky atomic privatizations
locked #9126: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 27m 6s priv-atomic
November 27, 2023 15:15 27m 6s
Add some hacky atomic privatizations
coverage #883: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 11m 45s priv-atomic
November 27, 2023 15:15 11m 45s
Use strengthening in 36-apron/98-loc
options #6792: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 19s priv-atomic
November 27, 2023 15:15 19s
Use strengthening in 36-apron/98-loc
semgrep #8460: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 37s priv-atomic
November 27, 2023 15:15 37s
Use strengthening in 36-apron/98-loc
locked #9125: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 33m 22s priv-atomic
November 27, 2023 15:15 33m 22s
Use strengthening in 36-apron/98-loc
indentation #8773: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 3m 21s priv-atomic
November 27, 2023 15:15 3m 21s
Reduce activated analsyses and add test
locked #9123: Commit 209a560 pushed by michael-schwarz
November 27, 2023 14:19 25m 49s mutex-meet-tid-memsafety
November 27, 2023 14:19 25m 49s
Reduce activated analsyses and add test
indentation #8771: Commit 209a560 pushed by michael-schwarz
November 27, 2023 14:19 3m 25s mutex-meet-tid-memsafety
November 27, 2023 14:19 3m 25s
Merge with master.
indentation #8770: Commit 4d2783c pushed by jerhard
November 27, 2023 14:18 3m 38s modular_function_summaries
November 27, 2023 14:18 3m 38s
Merge with master.
semgrep #8457: Commit 4d2783c pushed by jerhard
November 27, 2023 14:18 40s modular_function_summaries
November 27, 2023 14:18 40s