Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #317: Pull request #952 synchronize by keyboardDrummer
October 4, 2024 14:52 5m 30s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 4, 2024 14:52 5m 30s
Enable marking if commands as {:allow_split} or not LeanAuto CI #316: Pull request #960 opened by keyboardDrummer
October 4, 2024 12:01 5m 33s keyboardDrummer:isolatePathsNext
keyboardDrummer:isolatePathsNext
October 4, 2024 12:01 5m 33s
Move some classes into separate files. Fix incorrect casing LeanAuto CI #315: Pull request #959 opened by keyboardDrummer
October 4, 2024 11:33 5m 37s keyboardDrummer:refactoring2
keyboardDrummer:refactoring2
October 4, 2024 11:33 5m 37s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #314: Pull request #952 synchronize by keyboardDrummer
October 4, 2024 11:18 5m 37s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 4, 2024 11:18 5m 37s
feat: Verification coverage analysis for axioms LeanAuto CI #313: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:46 5m 52s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:46 5m 52s
feat: Verification coverage analysis for axioms LeanAuto CI #312: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:25 5m 38s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:25 5m 38s
feat: Verification coverage analysis for axioms LeanAuto CI #311: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:24 5m 41s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:24 5m 41s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #310: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 14:59 5m 40s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 14:59 5m 40s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #309: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 10:37 5m 22s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 10:37 5m 22s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #308: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 10:32 5m 22s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 10:32 5m 22s
Extract refactorings from #952 LeanAuto CI #307: Pull request #957 synchronize by keyboardDrummer
October 3, 2024 10:27 5m 6s keyboardDrummer:refactor
keyboardDrummer:refactor
October 3, 2024 10:27 5m 6s
Extract refactorings from #952 LeanAuto CI #306: Pull request #957 synchronize by keyboardDrummer
October 3, 2024 10:06 5m 38s keyboardDrummer:refactor
keyboardDrummer:refactor
October 3, 2024 10:06 5m 38s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #305: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 09:37 5m 50s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 09:37 5m 50s
[Civl] Permissions cleanup LeanAuto CI #304: Pull request #956 synchronize by shazqadeer
October 2, 2024 17:31 5m 35s lin-cleanup
lin-cleanup
October 2, 2024 17:31 5m 35s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #303: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:52 5m 48s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:52 5m 48s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #302: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:38 5m 26s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:38 5m 26s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #301: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:09 5m 40s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:09 5m 40s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #300: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 13:11 5m 34s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 13:11 5m 34s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #299: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 13:03 5m 51s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 13:03 5m 51s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #298: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 11:27 5m 41s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 11:27 5m 41s
Extract refactorings from #952 LeanAuto CI #297: Pull request #957 opened by keyboardDrummer
October 2, 2024 11:26 56s keyboardDrummer:refactor
keyboardDrummer:refactor
October 2, 2024 11:26 56s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #296: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 11:13 5m 30s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 11:13 5m 30s
[Civl] Permissions cleanup LeanAuto CI #295: Pull request #956 synchronize by shazqadeer
October 1, 2024 21:51 5m 18s lin-cleanup
lin-cleanup
October 1, 2024 21:51 5m 18s
[Civl] Permissions cleanup LeanAuto CI #294: Pull request #956 synchronize by shazqadeer
October 1, 2024 21:33 5m 37s lin-cleanup
lin-cleanup
October 1, 2024 21:33 5m 37s
[Civl] Permissions cleanup LeanAuto CI #293: Pull request #956 synchronize by shazqadeer
October 1, 2024 14:55 5m 30s lin-cleanup
lin-cleanup
October 1, 2024 14:55 5m 30s