Skip to content

Actions: achamayou/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,051 workflow runs
2,051 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correct reconfiguration index Daily Build Status #3629: Commit b35737f pushed by achamayou
October 30, 2023 16:07 12s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 16:07 12s
Correct reconfiguration index Verification #138: Commit b35737f pushed by achamayou
October 30, 2023 16:07 1d 0h 38m 32s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 16:07 1d 0h 38m 32s
Minimal repro triggering the issue in ccfraft.tla AdvanceCommitIndex Daily Build Status #3628: Commit 6a3d09a pushed by achamayou
October 30, 2023 15:58 12s repro_scenario_for_advance_commit_index_bug
repro_scenario_for_advance_commit_index_bug
October 30, 2023 15:58 12s
Saving tweaks Verification #137: Commit 71b60b3 pushed by achamayou
October 30, 2023 15:37 1d 1h 8m 4s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 15:37 1d 1h 8m 4s
Saving tweaks Daily Build Status #3627: Commit 71b60b3 pushed by achamayou
October 30, 2023 15:37 18s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 15:37 18s
Fix the rest of the scenarios for startup at 2.1 Daily Build Status #3626: Commit a40ce56 pushed by achamayou
October 30, 2023 13:35 13s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 13:35 13s
Merge branch 'main' into client_tracing Verification #136: Commit 721a7f2 pushed by achamayou
October 30, 2023 13:03 1d 3h 42m 12s client_tracing
client_tracing
October 30, 2023 13:03 1d 3h 42m 12s
Merge branch 'main' into client_tracing Daily Build Status #3625: Commit 721a7f2 pushed by achamayou
October 30, 2023 13:03 12s client_tracing
client_tracing
October 30, 2023 13:03 12s
fix Verification #135: Commit 893c4a1 pushed by achamayou
October 30, 2023 11:58 1d 4h 47m 15s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 11:58 1d 4h 47m 15s
fix Daily Build Status #3624: Commit 893c4a1 pushed by achamayou
October 30, 2023 11:58 13s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 11:58 13s
Merge branch 'main' into raft_driver_bootstrap Verification #134: Commit e1171f1 pushed by achamayou
October 30, 2023 11:55 1d 4h 50m 41s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 11:55 1d 4h 50m 41s
Merge branch 'main' into raft_driver_bootstrap Daily Build Status #3623: Commit e1171f1 pushed by achamayou
October 30, 2023 11:55 17s raft_driver_bootstrap
raft_driver_bootstrap
October 30, 2023 11:55 17s
Undo enough to get the TV passing Daily Build Status #3622: Commit d0bac95 pushed by achamayou
October 30, 2023 11:31 12s trace_after_too
trace_after_too
October 30, 2023 11:31 12s
Move committable indices to state, to faciliate tracing Verification #133: Commit 216263e pushed by achamayou
October 30, 2023 09:57 1d 6h 47m 58s move_raft_committable_indices_to_state
move_raft_committable_indices_to_state
October 30, 2023 09:57 1d 6h 47m 58s
Move committable indices to state, to faciliate tracing Daily Build Status #3621: Commit 216263e pushed by achamayou
October 30, 2023 09:57 13s move_raft_committable_indices_to_state
move_raft_committable_indices_to_state
October 30, 2023 09:57 13s
update schema Daily Build Status #3620: Commit 6e73b50 pushed by achamayou
October 27, 2023 12:26 11s get_node_primary
get_node_primary
October 27, 2023 12:26 11s
changelog Daily Build Status #3619: Commit 0c8f455 pushed by achamayou
October 27, 2023 10:20 10s get_node_primary
get_node_primary
October 27, 2023 10:20 10s
changelog Verification #132: Commit 0c8f455 pushed by achamayou
October 27, 2023 10:20 1d 6h 25m 28s get_node_primary
get_node_primary
October 27, 2023 10:20 1d 6h 25m 28s
Commit first reconfiguration Daily Build Status #3618: Commit 6c2797e pushed by achamayou
October 26, 2023 17:10 14s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 17:10 14s
Merge branch 'main' into raft_driver_bootstrap Daily Build Status #3617: Commit 8b26065 pushed by achamayou
October 26, 2023 15:50 14s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 15:50 14s
Merge branch 'main' into raft_driver_bootstrap Verification #131: Commit 8b26065 pushed by achamayou
October 26, 2023 15:50 1d 0h 55m 7s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 15:50 1d 0h 55m 7s
Force become primary Daily Build Status #3616: Commit c6db617 pushed by achamayou
October 26, 2023 15:49 14s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 15:49 14s
Force become primary Verification #130: Commit c6db617 pushed by achamayou
October 26, 2023 15:49 1d 0h 56m 13s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 15:49 1d 0h 56m 13s
Merge branch 'main' into raft_driver_bootstrap Verification #129: Commit 1872096 pushed by achamayou
October 26, 2023 14:58 1d 1h 47m 27s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 14:58 1d 1h 47m 27s
Merge branch 'main' into raft_driver_bootstrap Daily Build Status #3615: Commit 1872096 pushed by achamayou
October 26, 2023 14:58 14s raft_driver_bootstrap
raft_driver_bootstrap
October 26, 2023 14:58 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.