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

[Civl] small fix Boogie CI #1495: Pull request #855 opened by shazqadeer
March 6, 2024 06:24 6h 0m 26s small-fix
small-fix
March 6, 2024 06:24 6h 0m 26s
Copy split index when cloning split (#854) Boogie CI #1494: Commit 732ebe0 pushed by keyboardDrummer
March 5, 2024 16:05 6m 57s v3.1.1
v3.1.1
March 5, 2024 16:05 6m 57s
Copy split index when cloning split Boogie CI #1493: Pull request #854 opened by keyboardDrummer
March 5, 2024 15:12 6m 18s keyboardDrummer:copySplitIndex
keyboardDrummer:copySplitIndex
March 5, 2024 15:12 6m 18s
[Civl] Fixed bug in refinement check for actions (#853) Boogie CI #1492: Commit d7b1041 pushed by keyboardDrummer
March 4, 2024 10:04 6h 0m 26s v3.1.0
v3.1.0
March 4, 2024 10:04 6h 0m 26s
[Civl] Fixed bug in refinement check for actions Boogie CI #1491: Pull request #853 synchronize by shazqadeer
March 1, 2024 20:27 6m 28s fix-refine-bug
fix-refine-bug
March 1, 2024 20:27 6m 28s
[Civl] Fixed bug in refinement check for actions Boogie CI #1490: Pull request #853 opened by shazqadeer
March 1, 2024 20:21 8m 11s fix-refine-bug
fix-refine-bug
March 1, 2024 20:21 8m 11s
Add a FromSeed method to IVerificationTask Boogie CI #1489: Pull request #852 synchronize by keyboardDrummer
March 1, 2024 16:41 7m 1s keyboardDrummer:fromSeed
keyboardDrummer:fromSeed
March 1, 2024 16:41 7m 1s
Add a FromSeed method to IVerificationTask Boogie CI #1488: Pull request #852 synchronize by keyboardDrummer
March 1, 2024 15:59 9m 2s keyboardDrummer:fromSeed
keyboardDrummer:fromSeed
March 1, 2024 15:59 9m 2s
Add a FromSeed method to IVerificationTask Boogie CI #1487: Pull request #852 synchronize by keyboardDrummer
March 1, 2024 14:36 53m 32s keyboardDrummer:fromSeed
keyboardDrummer:fromSeed
March 1, 2024 14:36 53m 32s
Add a FromSeed method to IVerificationTask Boogie CI #1486: Pull request #852 opened by keyboardDrummer
March 1, 2024 12:50 1m 27s keyboardDrummer:fromSeed
keyboardDrummer:fromSeed
March 1, 2024 12:50 1m 27s
[Civl] New design of permissions Boogie CI #1485: Pull request #851 opened by shazqadeer
February 20, 2024 06:29 6m 43s perm-nest-fix
perm-nest-fix
February 20, 2024 06:29 6m 43s
Allow /prune:0 to disable pruning (#848) Boogie CI #1484: Commit b782ca9 pushed by atomb
February 19, 2024 19:41 6m 34s v3.0.12
v3.0.12
February 19, 2024 19:41 6m 34s
Avoid concurrency errors when combining /randomizeVcIterations and /trackVerificationCoverage Boogie CI #1483: Pull request #849 synchronize by atomb
February 19, 2024 16:49 6m 34s atomb:concurrent-split-coverage
atomb:concurrent-split-coverage
February 19, 2024 16:49 6m 34s
Avoid concurrency errors when combining /randomizeVcIterations and /trackVerificationCoverage Boogie CI #1482: Pull request #849 synchronize by atomb
February 19, 2024 16:46 1m 12s atomb:concurrent-split-coverage
atomb:concurrent-split-coverage
February 19, 2024 16:46 1m 12s
Avoid concurrency errors when combining /randomizeVcIterations and /trackVerificationCoverage Boogie CI #1481: Pull request #849 synchronize by atomb
February 15, 2024 23:32 6h 0m 26s atomb:concurrent-split-coverage
atomb:concurrent-split-coverage
February 15, 2024 23:32 6h 0m 26s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1480: Pull request #850 synchronize by atomb
February 14, 2024 22:05 6m 26s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 22:05 6m 26s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #5: Pull request #850 synchronize by atomb
February 14, 2024 22:05 5m 38s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 22:05 5m 38s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1479: Pull request #850 synchronize by atomb
February 14, 2024 19:30 6m 21s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:30 6m 21s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #4: Pull request #850 synchronize by atomb
February 14, 2024 19:30 6m 0s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:30 6m 0s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #3: Pull request #850 synchronize by atomb
February 14, 2024 19:25 1m 2s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:25 1m 2s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1478: Pull request #850 synchronize by atomb
February 14, 2024 19:25 8m 7s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:25 8m 7s
Add an experimental backend that uses Lean to discharge goals Boogie CI #1477: Pull request #850 synchronize by atomb
February 14, 2024 19:24 6m 31s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:24 6m 31s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #2: Pull request #850 synchronize by atomb
February 14, 2024 19:24 11s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:24 11s
Add an experimental backend that uses Lean to discharge goals LeanAuto CI #1: Pull request #850 opened by atomb
February 14, 2024 19:04 Startup failure atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:04 Startup failure
Add an experimental backend that uses Lean to discharge goals Boogie CI #1476: Pull request #850 opened by atomb
February 14, 2024 19:04 6m 20s atomb:basic-lean-auto
atomb:basic-lean-auto
February 14, 2024 19:04 6m 20s