Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow run results
329 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Report resolution errors to downstream system LeanAuto CI #12: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:38 5m 19s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:38 5m 19s
Report resolution errors to downstream system Boogie CI #1513: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:38 6m 40s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:38 6m 40s
Report resolution errors to downstream system LeanAuto CI #11: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:36 5m 17s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:36 5m 17s
Report resolution errors to downstream system Boogie CI #1512: Pull request #860 synchronize by keyboardDrummer
March 26, 2024 10:36 6m 24s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 26, 2024 10:36 6m 24s
Report resolution errors to downstream system LeanAuto CI #10: Pull request #860 opened by keyboardDrummer
March 21, 2024 12:29 5m 30s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 21, 2024 12:29 5m 30s
Report resolution errors to downstream system Boogie CI #1511: Pull request #860 opened by keyboardDrummer
March 21, 2024 12:29 6m 40s keyboardDrummer:reportResolutionErrors
keyboardDrummer:reportResolutionErrors
March 21, 2024 12:29 6m 40s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1510: Pull request #850 synchronize by atomb
March 19, 2024 21:55 6m 27s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:55 6m 27s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #9: Pull request #850 synchronize by atomb
March 19, 2024 21:55 5m 8s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:55 5m 8s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #8: Pull request #850 synchronize by atomb
March 19, 2024 21:00 5m 49s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:00 5m 49s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1509: Pull request #850 synchronize by atomb
March 19, 2024 21:00 8m 28s atomb:basic-lean-auto
atomb:basic-lean-auto
March 19, 2024 21:00 8m 28s
Fix crash on low rlimit (#859) Boogie CI #1508: Commit 5c786ff pushed by atomb
March 13, 2024 15:16 6m 40s v3.1.3
v3.1.3
March 13, 2024 15:16 6m 40s
Fix crash on low rlimit Boogie CI #1507: Pull request #859 synchronize by atomb
March 12, 2024 22:47 6m 38s atomb:low-rlimit-fix
atomb:low-rlimit-fix
March 12, 2024 22:47 6m 38s
Fix crash on low rlimit Boogie CI #1506: Pull request #859 synchronize by atomb
March 12, 2024 20:09 7m 10s atomb:low-rlimit-fix
atomb:low-rlimit-fix
March 12, 2024 20:09 7m 10s
Fix crash on low rlimit Boogie CI #1505: Pull request #859 opened by atomb
March 12, 2024 20:01 5m 49s atomb:low-rlimit-fix
atomb:low-rlimit-fix
March 12, 2024 20:01 5m 49s
[Civl] Fix ChangRoberts Boogie CI #1504: Pull request #858 synchronize by shazqadeer
March 9, 2024 15:36 6m 30s fix-cr
fix-cr
March 9, 2024 15:36 6m 30s
[Civl] Fix ChangRoberts Boogie CI #1503: Pull request #858 opened by shazqadeer
March 8, 2024 20:03 6m 6s fix-cr
fix-cr
March 8, 2024 20:03 6m 6s
Added quantifier instantiation option Boogie CI #1502: Pull request #857 synchronize by shazqadeer
March 8, 2024 19:49 6m 39s add-qi-option
add-qi-option
March 8, 2024 19:49 6m 39s
Added quantifier instantiation option Boogie CI #1501: Pull request #857 opened by shazqadeer
March 8, 2024 19:47 6m 18s add-qi-option
add-qi-option
March 8, 2024 19:47 6m 18s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #7: Pull request #850 synchronize by atomb
March 7, 2024 23:54 5m 9s atomb:basic-lean-auto
atomb:basic-lean-auto
March 7, 2024 23:54 5m 9s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1500: Pull request #850 synchronize by atomb
March 7, 2024 23:54 6m 22s atomb:basic-lean-auto
atomb:basic-lean-auto
March 7, 2024 23:54 6m 22s
Reset predecessors before focusing (#856) Boogie CI #1499: Commit 11660fd pushed by atomb
March 7, 2024 22:20 6m 25s v3.1.2
v3.1.2
March 7, 2024 22:20 6m 25s
Reset predecessors before focusing Boogie CI #1498: Pull request #856 synchronize by keyboardDrummer
March 7, 2024 22:13 6m 16s atomb:fix-focus-crash-2
atomb:fix-focus-crash-2
March 7, 2024 22:13 6m 16s
Reset predecessors before focusing Boogie CI #1497: Pull request #856 opened by atomb
March 7, 2024 21:53 6m 37s atomb:fix-focus-crash-2
atomb:fix-focus-crash-2
March 7, 2024 21:53 6m 37s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1496: Pull request #850 synchronize by atomb
March 6, 2024 19:54 7m 24s atomb:basic-lean-auto
atomb:basic-lean-auto
March 6, 2024 19:54 7m 24s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #6: Pull request #850 synchronize by atomb
March 6, 2024 19:54 5m 2s atomb:basic-lean-auto
atomb:basic-lean-auto
March 6, 2024 19:54 5m 2s