Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
961 workflow runs
961 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't create trivial labeled assumptions Boogie CI #1411: Pull request #823 synchronize by atomb
December 6, 2023 18:48 6m 39s atomb:subsumption-coverage
atomb:subsumption-coverage
December 6, 2023 18:48 6m 39s
Don't create trivial labeled assumptions Boogie CI #1410: Pull request #823 opened by atomb
December 6, 2023 18:46 6m 30s atomb:subsumption-coverage
atomb:subsumption-coverage
December 6, 2023 18:46 6m 30s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1409: Pull request #821 synchronize by keyboardDrummer
December 6, 2023 13:53 6m 58s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 6, 2023 13:53 6m 58s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1408: Pull request #821 synchronize by keyboardDrummer
December 6, 2023 13:52 6m 34s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 6, 2023 13:52 6m 34s
[Civl] update axioms of finite sets Boogie CI #1407: Pull request #822 opened by shazqadeer
December 6, 2023 05:38 6m 22s adjust-set-axiom
adjust-set-axiom
December 6, 2023 05:38 6m 22s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1406: Pull request #821 synchronize by atomb
December 6, 2023 00:08 6m 48s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 6, 2023 00:08 6m 48s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1405: Pull request #821 synchronize by atomb
December 5, 2023 23:59 5m 24s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 5, 2023 23:59 5m 24s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1404: Pull request #821 synchronize by atomb
December 5, 2023 23:33 5m 7s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 5, 2023 23:33 5m 7s
Fix hanging when solver exits with a non-zero exit code Boogie CI #1403: Pull request #821 opened by atomb
December 5, 2023 23:33 5m 5s atomb:fix-z3-segfault-hang
atomb:fix-z3-segfault-hang
December 5, 2023 23:33 5m 5s
[Civl] Cleaned up linear primitives Boogie CI #1402: Pull request #820 synchronize by shazqadeer
December 5, 2023 03:35 6m 23s linear-type-ext
linear-type-ext
December 5, 2023 03:35 6m 23s
[Civl] Cleaned up linear primitives Boogie CI #1401: Pull request #820 opened by shazqadeer
December 5, 2023 03:26 5m 39s linear-type-ext
linear-type-ext
December 5, 2023 03:26 5m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.