Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-lean-auto.yml
387 workflow runs
387 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add pushScope, popScope, hide and reveal commands LeanAuto CI #87: Pull request #891 synchronize by keyboardDrummer
June 12, 2024 15:53 5m 28s keyboardDrummer:splits
keyboardDrummer:splits
June 12, 2024 15:53 5m 28s
Add pushScope, popScope, hide and reveal commands LeanAuto CI #86: Pull request #891 opened by keyboardDrummer
June 12, 2024 13:46 5m 14s keyboardDrummer:splits
keyboardDrummer:splits
June 12, 2024 13:46 5m 14s
InductiveSequentialization2 proof rule LeanAuto CI #85: Pull request #887 synchronize by shazqadeer
May 29, 2024 22:35 5m 17s IS2
IS2
May 29, 2024 22:35 5m 17s
InductiveSequentialization2 proof rule LeanAuto CI #84: Pull request #887 synchronize by shazqadeer
May 29, 2024 21:45 5m 13s IS2
IS2
May 29, 2024 21:45 5m 13s
InductiveSequentialization2 proof rule LeanAuto CI #83: Pull request #887 synchronize by NamrathaG
May 29, 2024 20:52 5m 20s IS2
IS2
May 29, 2024 20:52 5m 20s
InductiveSequentialization2 proof rule LeanAuto CI #82: Pull request #887 synchronize by NamrathaG
May 29, 2024 14:01 5m 24s IS2
IS2
May 29, 2024 14:01 5m 24s
InductiveSequentialization2 proof rule LeanAuto CI #81: Pull request #887 synchronize by NamrathaG
May 29, 2024 09:37 5m 30s IS2
IS2
May 29, 2024 09:37 5m 30s
[Civl] strengthened Pop spec to standard linearizability LeanAuto CI #80: Pull request #890 opened by shazqadeer
May 25, 2024 16:08 5m 14s ts-pop-fix
ts-pop-fix
May 25, 2024 16:08 5m 14s
InductiveSequentialization2 proof rule LeanAuto CI #79: Pull request #887 synchronize by NamrathaG
May 23, 2024 15:05 5m 8s IS2
IS2
May 23, 2024 15:05 5m 8s
Remove code that causes memory leaks (#888) LeanAuto CI #78: Commit 60a1259 pushed by keyboardDrummer
May 23, 2024 08:05 5m 0s v3.1.6
v3.1.6
May 23, 2024 08:05 5m 0s
InductiveSequentialization2 proof rule LeanAuto CI #77: Pull request #887 synchronize by shazqadeer
May 23, 2024 01:05 5m 4s IS2
IS2
May 23, 2024 01:05 5m 4s
InductiveSequentialization2 proof rule LeanAuto CI #76: Pull request #887 synchronize by shazqadeer
May 23, 2024 00:26 5m 9s IS2
IS2
May 23, 2024 00:26 5m 9s
InductiveSequentialization2 proof rule LeanAuto CI #75: Pull request #887 synchronize by shazqadeer
May 23, 2024 00:24 4m 59s IS2
IS2
May 23, 2024 00:24 4m 59s
InductiveSequentialization2 proof rule LeanAuto CI #74: Pull request #887 synchronize by shazqadeer
May 22, 2024 23:42 5m 11s IS2
IS2
May 22, 2024 23:42 5m 11s
InductiveSequentialization2 proof rule LeanAuto CI #73: Pull request #887 synchronize by shazqadeer
May 22, 2024 23:35 5m 22s IS2
IS2
May 22, 2024 23:35 5m 22s
InductiveSequentialization2 proof rule LeanAuto CI #72: Pull request #887 synchronize by shazqadeer
May 22, 2024 23:21 5m 18s IS2
IS2
May 22, 2024 23:21 5m 18s
InductiveSequentialization2 proof rule LeanAuto CI #71: Pull request #887 synchronize by NamrathaG
May 22, 2024 14:41 5m 36s IS2
IS2
May 22, 2024 14:41 5m 36s
InductiveSequentialization2 proof rule LeanAuto CI #70: Pull request #887 synchronize by NamrathaG
May 22, 2024 14:34 58s IS2
IS2
May 22, 2024 14:34 58s
InductiveSequentialization2 proof rule LeanAuto CI #69: Pull request #887 synchronize by NamrathaG
May 22, 2024 12:35 5m 14s IS2
IS2
May 22, 2024 12:35 5m 14s
InductiveSequentialization2 proof rule LeanAuto CI #68: Pull request #887 synchronize by NamrathaG
May 22, 2024 12:25 5m 9s IS2
IS2
May 22, 2024 12:25 5m 9s
InductiveSequentialization2 proof rule LeanAuto CI #67: Pull request #887 synchronize by NamrathaG
May 22, 2024 11:29 5m 21s IS2
IS2
May 22, 2024 11:29 5m 21s
InductiveSequentialization2 proof rule LeanAuto CI #66: Pull request #887 synchronize by NamrathaG
May 22, 2024 11:28 5m 2s IS2
IS2
May 22, 2024 11:28 5m 2s
Remove code that causes memory leaks LeanAuto CI #65: Pull request #888 synchronize by keyboardDrummer
May 22, 2024 10:26 5m 24s removeMemoryLeaks
removeMemoryLeaks
May 22, 2024 10:26 5m 24s
Remove code that causes memory leaks LeanAuto CI #64: Pull request #888 opened by keyboardDrummer
May 22, 2024 10:12 5m 0s removeMemoryLeaks
removeMemoryLeaks
May 22, 2024 10:12 5m 0s
InductiveSequentialization2 proof rule LeanAuto CI #63: Pull request #887 synchronize by erickoskinen
May 22, 2024 00:38 5m 16s IS2
IS2
May 22, 2024 00:38 5m 16s
ProTip! You can narrow down the results and go further in time using created:<2024-05-22 or the other filters available.