Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[Civl] Permissions cleanup LeanAuto CI #292: Pull request #956 synchronize by shazqadeer
October 1, 2024 13:29 5m 35s lin-cleanup
lin-cleanup
October 1, 2024 13:29 5m 35s
[Civl] Permissions cleanup LeanAuto CI #291: Pull request #956 opened by shazqadeer
October 1, 2024 04:51 5m 41s lin-cleanup
lin-cleanup
October 1, 2024 04:51 5m 41s
Several automated refactorings LeanAuto CI #290: Pull request #955 opened by keyboardDrummer
September 30, 2024 12:50 5m 56s keyboardDrummer:focusRefactoring
keyboardDrummer:focusRefactoring
September 30, 2024 12:50 5m 56s
[Civl] Eliminate type parameter of Loc LeanAuto CI #289: Pull request #954 synchronize by shazqadeer
September 29, 2024 00:30 5m 50s loc-simp
loc-simp
September 29, 2024 00:30 5m 50s
[Civl] Eliminate type parameter of Loc LeanAuto CI #288: Pull request #954 synchronize by shazqadeer
September 28, 2024 16:06 5m 28s loc-simp
loc-simp
September 28, 2024 16:06 5m 28s
[Civl] Eliminate type parameter of Loc LeanAuto CI #287: Pull request #954 opened by shazqadeer
September 28, 2024 15:22 5m 38s loc-simp
loc-simp
September 28, 2024 15:22 5m 38s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #286: Pull request #952 synchronize by keyboardDrummer
September 27, 2024 21:59 5m 35s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
September 27, 2024 21:59 5m 35s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #285: Pull request #952 synchronize by keyboardDrummer
September 27, 2024 21:54 56s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
September 27, 2024 21:54 56s
Add property for generating standalone binary LeanAuto CI #284: Pull request #953 opened by rahxephon89
September 25, 2024 21:16 5m 20s rahxephon89:self-contained-publish
rahxephon89:self-contained-publish
September 25, 2024 21:16 5m 20s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #283: Pull request #952 synchronize by keyboardDrummer
September 25, 2024 14:18 5m 49s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
September 25, 2024 14:18 5m 49s
Check command LeanAuto CI #282: Pull request #947 synchronize by keyboardDrummer
September 25, 2024 13:17 5m 24s keyboardDrummer:checkCommand
keyboardDrummer:checkCommand
September 25, 2024 13:17 5m 24s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #281: Pull request #952 synchronize by keyboardDrummer
September 24, 2024 14:36 5m 40s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
September 24, 2024 14:36 5m 40s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands LeanAuto CI #280: Pull request #952 opened by keyboardDrummer
September 24, 2024 14:34 5m 47s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
September 24, 2024 14:34 5m 47s
Enable Boogie variables to be monotonic LeanAuto CI #279: Pull request #951 synchronize by keyboardDrummer
September 23, 2024 16:18 5m 42s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 16:18 5m 42s
Enable Boogie variables to be monotonic LeanAuto CI #278: Pull request #951 synchronize by keyboardDrummer
September 23, 2024 16:12 5m 26s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 16:12 5m 26s
Enable Boogie variables to be monotonic LeanAuto CI #277: Pull request #951 synchronize by keyboardDrummer
September 23, 2024 16:06 43s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 16:06 43s
Enable Boogie variables to be monotonic LeanAuto CI #276: Pull request #951 synchronize by keyboardDrummer
September 23, 2024 15:39 5m 38s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 15:39 5m 38s
Enable Boogie variables to be monotonic LeanAuto CI #275: Pull request #951 synchronize by keyboardDrummer
September 23, 2024 15:38 5m 38s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 15:38 5m 38s
Enable Boogie variables to be monotonic LeanAuto CI #274: Pull request #951 opened by keyboardDrummer
September 23, 2024 15:28 5m 34s keyboardDrummer:monotonicVariables
keyboardDrummer:monotonicVariables
September 23, 2024 15:28 5m 34s
[Civl] Rearrange Paxos code to model natural flow of messages LeanAuto CI #273: Pull request #950 opened by shazqadeer
September 22, 2024 17:21 5m 48s paxos-rearrange
paxos-rearrange
September 22, 2024 17:21 5m 48s
feat: Verification coverage analysis for axioms LeanAuto CI #272: Pull request #948 synchronize by fabiomadge
September 18, 2024 21:48 5m 37s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
September 18, 2024 21:48 5m 37s
feat: Verification coverage analysis for axioms LeanAuto CI #271: Pull request #948 opened by fabiomadge
September 17, 2024 17:12 5m 19s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
September 17, 2024 17:12 5m 19s
Check command LeanAuto CI #270: Pull request #947 synchronize by keyboardDrummer
September 16, 2024 12:12 5m 25s keyboardDrummer:checkCommand
keyboardDrummer:checkCommand
September 16, 2024 12:12 5m 25s