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

Fix bug in datatype translation LeanAuto CI #390: Pull request #975 synchronize by keyboardDrummer
October 25, 2024 09:17 5m 42s random-naming-bug-fix
random-naming-bug-fix
October 25, 2024 09:17 5m 42s
Improve short names for splits (#976) LeanAuto CI #389: Commit 678021a pushed by keyboardDrummer
October 25, 2024 09:14 5m 37s v3.4.1
v3.4.1
October 25, 2024 09:14 5m 37s
Improve short names for splits LeanAuto CI #388: Pull request #976 opened by keyboardDrummer
October 24, 2024 21:02 5m 31s keyboardDrummer:improveSplitShortNames
keyboardDrummer:improveSplitShortNames
October 24, 2024 21:02 5m 31s
Fix bug in datatype translation LeanAuto CI #387: Pull request #975 synchronize by shazqadeer
October 24, 2024 19:44 5m 41s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:44 5m 41s
Fix bug in datatype translation LeanAuto CI #386: Pull request #975 opened by shazqadeer
October 24, 2024 19:41 5m 30s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:41 5m 30s
Enable marking if commands as {:allow_split} or not (#970) LeanAuto CI #385: Commit 07ae2d8 pushed by keyboardDrummer
October 24, 2024 17:52 5m 35s v3.4.0
v3.4.0
October 24, 2024 17:52 5m 35s
Enable marking if commands as {:allow_split} or not LeanAuto CI #384: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:57 5m 46s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:57 5m 46s
Enable marking if commands as {:allow_split} or not LeanAuto CI #383: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:56 10m 21s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:56 10m 21s
Use axiom instead of variable for globals, consts LeanAuto CI #382: Pull request #973 synchronize by keyboardDrummer
October 24, 2024 11:37 5m 25s atomb:var-to-axiom
atomb:var-to-axiom
October 24, 2024 11:37 5m 25s
Use axiom instead of variable for globals, consts LeanAuto CI #381: Pull request #973 opened by atomb
October 23, 2024 21:08 5m 39s atomb:var-to-axiom
atomb:var-to-axiom
October 23, 2024 21:08 5m 39s
[Civl] Anonymous actions in refinement specification of yield procedures LeanAuto CI #380: Pull request #972 opened by shazqadeer
October 23, 2024 19:38 5m 39s anonymous-action
anonymous-action
October 23, 2024 19:38 5m 39s
Enable marking if commands as {:allow_split} or not LeanAuto CI #379: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 13:25 5m 37s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 13:25 5m 37s
Enable marking if commands as {:allow_split} or not LeanAuto CI #378: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 13:00 5m 47s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 13:00 5m 47s
Enable marking if commands as {:allow_split} or not LeanAuto CI #377: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 12:20 5m 22s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 12:20 5m 22s
Enable marking if commands as {:allow_split} or not LeanAuto CI #376: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 12:12 5m 45s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 12:12 5m 45s
Enable marking if commands as {:allow_split} or not LeanAuto CI #375: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 11:53 5m 23s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 11:53 5m 23s
Enable marking if commands as {:allow_split} or not LeanAuto CI #374: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 11:48 5m 21s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 11:48 5m 21s
Enable marking if commands as {:allow_split} or not LeanAuto CI #373: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 20:58 5m 31s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 20:58 5m 31s
Isolate path refactorings LeanAuto CI #372: Pull request #969 synchronize by robin-aws
October 22, 2024 16:51 5m 48s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 16:51 5m 48s
[Civl] Added shared vector sample LeanAuto CI #371: Pull request #971 opened by shazqadeer
October 22, 2024 14:48 5m 39s add-new-sample
add-new-sample
October 22, 2024 14:48 5m 39s
Isolate path refactorings LeanAuto CI #370: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 14:20 5m 21s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 14:20 5m 21s
Enable marking if commands as {:allow_split} or not LeanAuto CI #369: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 13:44 5m 34s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 13:44 5m 34s
Isolate path refactorings LeanAuto CI #368: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 10:27 5m 32s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 10:27 5m 32s
Enable marking if commands as {:allow_split} or not LeanAuto CI #367: Pull request #970 opened by keyboardDrummer
October 22, 2024 09:55 5m 32s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 09:55 5m 32s
Isolate path refactorings LeanAuto CI #366: Pull request #969 opened by keyboardDrummer
October 22, 2024 09:46 5m 23s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 09:46 5m 23s