Skip to content

Actions: eddyashton/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:microsoft/CCF into log_dropped_mess… TLA+ Spec Verification #134: Commit 68cc60a pushed by eddyashton
February 16, 2024 13:36 1d 2h 46m 48s log_dropped_messages
log_dropped_messages
February 16, 2024 13:36 1d 2h 46m 48s
Remove unnecessary min safety check TLA+ Spec Verification #133: Commit 5dac27c pushed by eddyashton
February 15, 2024 14:38 1d 1h 45m 20s combined_raft_fixes
combined_raft_fixes
February 15, 2024 14:38 1d 1h 45m 20s
Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync TLA+ Spec Verification #132: Commit dff789c pushed by eddyashton
February 15, 2024 11:16 1d 5h 6m 27s loop_until_sync
loop_until_sync
February 15, 2024 11:16 1d 5h 6m 27s
Don't take a conflict path if there is no conflict TLA+ Spec Verification #131: Commit 412a4d3 pushed by eddyashton
February 14, 2024 16:18 1d 0h 4m 32s combined_raft_fixes
combined_raft_fixes
February 14, 2024 16:18 1d 0h 4m 32s
Merge branch 'main' of github.com:microsoft/CCF into combined_raft_fixes TLA+ Spec Verification #130: Commit 0c50935 pushed by eddyashton
February 13, 2024 16:20 1d 0h 3m 17s combined_raft_fixes
combined_raft_fixes
February 13, 2024 16:20 1d 0h 3m 17s
Merge branch 'main' of github.com:microsoft/CCF into combined_raft_fixes TLA+ Spec Verification #129: Commit 494b6c1 pushed by eddyashton
February 13, 2024 09:25 1d 6h 58m 10s combined_raft_fixes
combined_raft_fixes
February 13, 2024 09:25 1d 6h 58m 10s
Merge branch 'rollback_safety' of github.com:eddyashton/CCF into roll… TLA+ Spec Verification #128: Commit c048d23 pushed by eddyashton
February 12, 2024 17:15 1d 1h 47m 28s rollback_safety
rollback_safety
February 12, 2024 17:15 1d 1h 47m 28s
Merge branch 'main' of github.com:microsoft/CCF into raft_ack_to_inco… TLA+ Spec Verification #127: Commit 6789a4b pushed by eddyashton
February 12, 2024 17:14 1d 1h 47m 51s raft_ack_to_incoming_ae
raft_ack_to_incoming_ae
February 12, 2024 17:14 1d 1h 47m 51s
Merge branch 'main' into rollback_safety TLA+ Spec Verification #126: Commit 8ca9619 pushed by achamayou
February 12, 2024 11:13 1d 5h 10m 21s rollback_safety
rollback_safety
February 12, 2024 11:13 1d 5h 10m 21s
Merge branch 'main' into raft_ack_to_incoming_ae TLA+ Spec Verification #125: Commit 71776ed pushed by eddyashton
February 12, 2024 10:50 1d 5h 32m 42s raft_ack_to_incoming_ae
raft_ack_to_incoming_ae
February 12, 2024 10:50 1d 5h 32m 42s
Merge branch 'raft_ack_to_incoming_ae' of github.com:eddyashton/CCF i… TLA+ Spec Verification #124: Commit 3d4fbf1 pushed by eddyashton
February 12, 2024 09:40 1d 6h 42m 36s raft_ack_to_incoming_ae
raft_ack_to_incoming_ae
February 12, 2024 09:40 1d 6h 42m 36s
Merge branch 'main' of github.com:microsoft/CCF into log_dropped_mess… TLA+ Spec Verification #123: Commit 5a2f9e4 pushed by eddyashton
February 9, 2024 17:02 1d 2h 0m 2s log_dropped_messages
log_dropped_messages
February 9, 2024 17:02 1d 2h 0m 2s
Merge branch 'main' of github.com:microsoft/CCF into loop_until_sync TLA+ Spec Verification #122: Commit f021f69 pushed by eddyashton
February 9, 2024 16:43 1d 2h 19m 20s loop_until_sync
loop_until_sync
February 9, 2024 16:43 1d 2h 19m 20s
Merge branch 'main' into raft_ack_to_incoming_ae TLA+ Spec Verification #121: Commit 48c47e9 pushed by achamayou
February 9, 2024 16:18 1d 0h 4m 46s raft_ack_to_incoming_ae
raft_ack_to_incoming_ae
February 9, 2024 16:18 1d 0h 4m 46s
Temporarily skip test case TLA+ Spec Verification #120: Commit a4b6127 pushed by eddyashton
February 8, 2024 11:16 1d 5h 7m 12s rollback_safety
rollback_safety
February 8, 2024 11:16 1d 5h 7m 12s
Merge branch 'main' of github.com:microsoft/CCF into rollback_safety TLA+ Spec Verification #119: Commit 5ee5e50 pushed by eddyashton
February 7, 2024 09:43 1d 6h 40m 8s rollback_safety
rollback_safety
February 7, 2024 09:43 1d 6h 40m 8s
Merge branch 'main' into candidate_viability_scenario TLA+ Spec Verification #118: Commit 5138018 pushed by achamayou
February 6, 2024 16:03 1d 0h 20m 0s candidate_viability_scenario
candidate_viability_scenario
February 6, 2024 16:03 1d 0h 20m 0s
Merge branch 'main' of github.com:microsoft/CCF into rollback_safety TLA+ Spec Verification #117: Commit 41d16da pushed by eddyashton
February 6, 2024 13:49 1d 2h 34m 0s rollback_safety
rollback_safety
February 6, 2024 13:49 1d 2h 34m 0s
Update llhttp from 9.0.1 to 9.1.3 TLA+ Spec Verification #116: Commit 5b67888 pushed by eddyashton
February 6, 2024 11:30 1d 4h 53m 12s update_llhttp_9_1_3
update_llhttp_9_1_3
February 6, 2024 11:30 1d 4h 53m 12s
Merge branch 'main' into reelection_take2 TLA+ Spec Verification #115: Commit 8d98280 pushed by achamayou
February 1, 2024 13:14 1d 3h 8m 53s reelection_take2
reelection_take2
February 1, 2024 13:14 1d 3h 8m 53s
Merge branch 'main' into reelection_take2 TLA+ Spec Verification #114: Commit 9079997 pushed by lemmy
January 30, 2024 19:09 1d 21h 13m 36s reelection_take2
reelection_take2
January 30, 2024 19:09 1d 21h 13m 36s
Assert final state TLA+ Spec Verification #113: Commit 1737c1e pushed by eddyashton
January 30, 2024 11:47 1d 4h 36m 1s reelection_take2
reelection_take2
January 30, 2024 11:47 1d 4h 36m 1s
Merge branch 'main' of github.com:microsoft/CCF into json_schema_for_… TLA+ Spec Verification #112: Commit 3760742 pushed by eddyashton
January 30, 2024 10:14 1d 6h 8m 32s json_schema_for_enum_keyed_maps
json_schema_for_enum_keyed_maps
January 30, 2024 10:14 1d 6h 8m 32s
Merge branch 'main' of github.com:microsoft/CCF into reelection_take2 TLA+ Spec Verification #111: Commit a5d9d0b pushed by eddyashton
January 23, 2024 12:26 1d 3h 57m 10s reelection_take2
reelection_take2
January 23, 2024 12:26 1d 3h 57m 10s
Merge branch 'main' of github.com:microsoft/CCF into gh_token_permiss… TLA+ Spec Verification #110: Commit bb802b9 pushed by eddyashton
January 23, 2024 10:19 1d 6h 3m 59s gh_token_permissions_check
gh_token_permissions_check
January 23, 2024 10:19 1d 6h 3m 59s