Skip to content

Actions: konnov/leanda

Actions

Lean actions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add eventually_not_alive_on_timeout Lean actions #50: Commit b945268 pushed by konnov
June 25, 2025 06:33 6m 51s igor/epfd-accuracy
igor/epfd-accuracy
June 25, 2025 06:33 6m 51s
small fixes Lean actions #49: Commit a96eb67 pushed by konnov
June 16, 2025 12:44 6m 4s igor/epfd-accuracy
igor/epfd-accuracy
June 16, 2025 12:44 6m 4s
small fixes Lean actions #48: Commit a96eb67 pushed by konnov
June 10, 2025 16:41 5m 55s main
main
June 10, 2025 16:41 5m 55s
rename a few things Lean actions #47: Commit 24e84d9 pushed by konnov
June 9, 2025 20:34 5m 55s main
main
June 9, 2025 20:34 5m 55s
proof read and simplify the proofs a bit Lean actions #46: Commit fb2d978 pushed by konnov
June 9, 2025 18:24 5m 48s main
main
June 9, 2025 18:24 5m 48s
simplify is_reliable_communication Lean actions #45: Commit a38fd87 pushed by konnov
June 9, 2025 15:15 6m 0s main
main
June 9, 2025 15:15 6m 0s
fix the comments Lean actions #44: Commit d361444 pushed by konnov
June 9, 2025 15:03 5m 52s main
main
June 9, 2025 15:03 5m 52s
add next_a_iff_next and fix next Lean actions #43: Commit a944e15 pushed by konnov
June 9, 2025 14:00 6m 0s main
main
June 9, 2025 14:00 6m 0s
update is_eventually_strongly_accurate Lean actions #42: Commit 10ff354 pushed by konnov
June 8, 2025 19:08 5m 55s main
main
June 8, 2025 19:08 5m 55s
reorder the fields to match the docs Lean actions #41: Commit 2496533 pushed by konnov
June 8, 2025 12:50 5m 50s main
main
June 8, 2025 12:50 5m 50s
remove all, as it is not needed Lean actions #40: Commit 44bbc28 pushed by konnov
June 8, 2025 12:27 6m 2s main
main
June 8, 2025 12:27 6m 2s
Merge pull request #1 from konnov/igor/perfect-fd Lean actions #39: Commit 018a747 pushed by konnov
June 7, 2025 18:31 6m 44s main
main
June 7, 2025 18:31 6m 44s
Proving strong completeness of an eventually perfect failure detector Lean actions #38: Pull request #1 synchronize by konnov
June 7, 2025 17:29 5m 49s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:29 5m 49s
fix the toml Lean actions #37: Commit 93df8de pushed by konnov
June 7, 2025 17:29 5m 48s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:29 5m 48s
Proving strong completeness of an eventually perfect failure detector Lean actions #36: Pull request #1 synchronize by konnov
June 7, 2025 17:21 5m 52s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:21 5m 52s
remove Main, as we don't need it atm Lean actions #35: Commit def8d01 pushed by konnov
June 7, 2025 17:20 5m 47s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:20 5m 47s
Proving strong completeness of an eventually perfect failure detector Lean actions #34: Pull request #1 synchronize by konnov
June 7, 2025 17:19 5m 57s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:19 5m 57s
add a short description Lean actions #33: Commit 8b78c56 pushed by konnov
June 7, 2025 17:19 6m 8s igor/perfect-fd
igor/perfect-fd
June 7, 2025 17:19 6m 8s
Proving strong completeness of an eventually perfect failure detector Lean actions #32: Pull request #1 synchronize by konnov
June 7, 2025 16:58 5m 58s igor/perfect-fd
igor/perfect-fd
June 7, 2025 16:58 5m 58s
add epfd to the CI Lean actions #31: Commit b2bc04e pushed by konnov
June 7, 2025 16:58 6m 2s igor/perfect-fd
igor/perfect-fd
June 7, 2025 16:58 6m 2s
Proving strong completeness of an eventually perfect failure detector Lean actions #30: Pull request #1 opened by konnov
June 7, 2025 16:55 6m 43s igor/perfect-fd
igor/perfect-fd
June 7, 2025 16:55 6m 43s
show strong_completeness_on_states and refactor Lean actions #29: Commit 1549982 pushed by konnov
June 7, 2025 16:54 5m 54s igor/perfect-fd
igor/perfect-fd
June 7, 2025 16:54 5m 54s
add eventually_crashing_meet Lean actions #28: Commit 6612cee pushed by konnov
June 1, 2025 20:02 5m 46s igor/perfect-fd
igor/perfect-fd
June 1, 2025 20:02 5m 46s
finish eventually_crashes_implies_always_suspected Lean actions #27: Commit f7d7d37 pushed by konnov
June 1, 2025 13:38 5m 49s igor/perfect-fd
igor/perfect-fd
June 1, 2025 13:38 5m 49s
use Fintype for Proc instead of propagating all Lean actions #26: Commit ddb566d pushed by konnov
June 1, 2025 12:11 5m 58s igor/perfect-fd
igor/perfect-fd
June 1, 2025 12:11 5m 58s