Skip to content

Actions: achamayou/CCF

Actions

Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tlaplus.yml
468 workflow runs
468 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basic programmability Verification #523: Pull request #60 synchronize by achamayou
May 21, 2024 15:29 1d 1h 16m 13s basic_programmability
basic_programmability
May 21, 2024 15:29 1d 1h 16m 13s
Basic programmability Verification #522: Pull request #60 synchronize by achamayou
May 21, 2024 10:38 1d 6h 6m 51s basic_programmability
basic_programmability
May 21, 2024 10:38 1d 6h 6m 51s
Basic programmability Verification #521: Pull request #60 synchronize by achamayou
May 21, 2024 08:09 1d 8h 36m 35s basic_programmability
basic_programmability
May 21, 2024 08:09 1d 8h 36m 35s
Basic programmability Verification #520: Pull request #60 synchronize by achamayou
May 20, 2024 15:14 1d 1h 30m 59s basic_programmability
basic_programmability
May 20, 2024 15:14 1d 1h 30m 59s
Merge branch 'main' into basic_programmability Verification #519: Commit 413ef31 pushed by achamayou
May 20, 2024 15:14 1d 1h 31m 1s basic_programmability
basic_programmability
May 20, 2024 15:14 1d 1h 31m 1s
Document lack of request payload validation in ctv (#6187) Verification #518: Commit b3d0eff pushed by achamayou
May 17, 2024 14:43 1d 2h 2m 10s document_lack_of_request_payload_validation_in_ctv
document_lack_of_request_payload_validation_in_ctv
May 17, 2024 14:43 1d 2h 2m 10s
Merge branch 'main' into tighten_todo_check Verification #517: Commit 8b0414b pushed by achamayou
May 17, 2024 14:27 1d 2h 18m 23s tighten_todo_check
tighten_todo_check
May 17, 2024 14:27 1d 2h 18m 23s
Remove request altogether Verification #516: Commit 51058c1 pushed by achamayou
May 17, 2024 13:07 1d 3h 37m 52s document_lack_of_request_payload_validation_in_ctv
document_lack_of_request_payload_validation_in_ctv
May 17, 2024 13:07 1d 3h 37m 52s
Merge branch 'main' into tighten_todo_check Verification #515: Commit c92e133 pushed by achamayou
May 17, 2024 12:34 1d 4h 11m 33s tighten_todo_check
tighten_todo_check
May 17, 2024 12:34 1d 4h 11m 33s
Merge branch 'main' into consensus_tv_todo_cleanup Verification #514: Commit 314d12b pushed by achamayou
May 17, 2024 08:57 1d 7h 47m 58s consensus_tv_todo_cleanup
consensus_tv_todo_cleanup
May 17, 2024 08:57 1d 7h 47m 58s
#6183 items 8, 9 and 10 Verification #513: Commit fb802de pushed by achamayou
May 17, 2024 08:55 1d 7h 49m 58s consensus_tv_todo_cleanup
consensus_tv_todo_cleanup
May 17, 2024 08:55 1d 7h 49m 58s
#6183, item 7 Verification #512: Commit e32bc6d pushed by achamayou
May 16, 2024 14:57 1d 1h 48m 10s consensus_tv_todo_cleanup
consensus_tv_todo_cleanup
May 16, 2024 14:57 1d 1h 48m 10s
#6183, item 5 Verification #511: Commit fa2e391 pushed by achamayou
May 16, 2024 14:48 1d 1h 57m 30s consensus_tv_todo_cleanup
consensus_tv_todo_cleanup
May 16, 2024 14:48 1d 1h 57m 30s
#6183, item 1 Verification #510: Commit 41f5cbf pushed by achamayou
May 16, 2024 14:39 1d 2h 6m 19s consensus_tv_todo_cleanup
consensus_tv_todo_cleanup
May 16, 2024 14:39 1d 2h 6m 19s
Merge branch 'main' into basic_programmability Verification #509: Commit c13b3f0 pushed by achamayou
May 16, 2024 13:56 1d 2h 49m 28s basic_programmability
basic_programmability
May 16, 2024 13:56 1d 2h 49m 28s
Tidy up TODOs in consistency spec (#6181) Verification #508: Commit 24690d1 pushed by achamayou
May 16, 2024 13:55 1d 2h 50m 10s main
main
May 16, 2024 13:55 1d 2h 50m 10s
Basic programmability Verification #507: Pull request #60 opened by achamayou
May 16, 2024 13:54 1d 2h 50m 43s basic_programmability
basic_programmability
May 16, 2024 13:54 1d 2h 50m 43s
Merge branch 'main' into tighten_todo_check Verification #506: Commit 20adc7a pushed by achamayou
May 16, 2024 13:32 1d 3h 13m 30s tighten_todo_check
tighten_todo_check
May 16, 2024 13:32 1d 3h 13m 30s
Merge branch 'main' into tighten_todo_check Verification #505: Commit 27285d3 pushed by achamayou
May 15, 2024 15:53 1d 0h 52m 18s tighten_todo_check
tighten_todo_check
May 15, 2024 15:53 1d 0h 52m 18s
Remove inapplicable TODO in ccfraft.tla Verification #504: Commit 5d7ff66 pushed by achamayou
May 15, 2024 13:25 1d 3h 19m 59s remove_todo_in_ccfraft
remove_todo_in_ccfraft
May 15, 2024 13:25 1d 3h 19m 59s
Merge branch 'main' into custom_endpoints_mixin Verification #503: Commit f9d23df pushed by achamayou
May 14, 2024 15:23 1d 1h 22m 1s custom_endpoints_mixin
custom_endpoints_mixin
May 14, 2024 15:23 1d 1h 22m 1s
Remove unreachable branch Verification #502: Commit 946079e pushed by achamayou
May 9, 2024 16:36 1d 0h 9m 33s raft_cleanup2
raft_cleanup2
May 9, 2024 16:36 1d 0h 9m 33s
fix Verification #501: Commit 1fb4432 pushed by achamayou
May 9, 2024 14:01 1d 2h 44m 13s tlc-repro
tlc-repro
May 9, 2024 14:01 1d 2h 44m 13s
Repro trace and script Verification #500: Commit 87486a4 pushed by achamayou
May 9, 2024 13:59 1d 2h 46m 13s tlc-repro
tlc-repro
May 9, 2024 13:59 1d 2h 46m 13s
Remove invariant Verification #499: Commit 0f88142 pushed by achamayou
May 8, 2024 16:29 1d 0h 16m 18s only_log_start_end_of_committable_indices_in_trace
only_log_start_end_of_committable_indices_in_trace
May 8, 2024 16:29 1d 0h 16m 18s