Skip to content

Actions: microsoft/CCF

Actions

Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tlaplus.yml
1,752 workflow runs
1,752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check refinement of high-level spec abs with all models Verification #2136: Pull request #6509 synchronize by lemmy
September 27, 2024 17:56 2h 19m 31s lemmy:mku-refine
lemmy:mku-refine
September 27, 2024 17:56 2h 19m 31s
Check refinement of high-level spec abs with all models Verification #2135: Pull request #6509 opened by lemmy
September 27, 2024 04:38 51m 17s lemmy:mku-refine
lemmy:mku-refine
September 27, 2024 04:38 51m 17s
Model max_uncommitted_tx_count of raft.h in abs.tla Verification #2134: Pull request #6508 opened by lemmy
September 27, 2024 01:02 1h 19m 42s lemmy:mku-MaxUncommittedCount
lemmy:mku-MaxUncommittedCount
September 27, 2024 01:02 1h 19m 42s
Refactor abstract consensus specification Verification #2133: Pull request #6475 synchronize by lemmy
September 26, 2024 22:42 1h 19m 40s lemmy:mku-abs
lemmy:mku-abs
September 26, 2024 22:42 1h 19m 40s
Add 2-Node consensus MC Verification #2132: Pull request #6504 opened by achamayou
September 26, 2024 15:49 1h 17m 29s achamayou:add_2node_consensus_mc
achamayou:add_2node_consensus_mc
September 26, 2024 15:49 1h 17m 29s
Update base image from 26-09-2024 to 26-09-2024-1 (#6503) Verification #2131: Commit c8d5d71 pushed by achamayou
September 26, 2024 12:38 1m 5s ccf-4.0.22
ccf-4.0.22
September 26, 2024 12:38 1m 5s
Update base image and release notes for 4.0.22 (#6502) Verification #2130: Commit 2e7a308 pushed by achamayou
September 26, 2024 11:26 1m 13s ccf-4.0.22
ccf-4.0.22
September 26, 2024 11:26 1m 13s
Revert https://github.com/microsoft/CCF/pull/5939 Verification #2129: Pull request #6501 opened by lemmy
September 26, 2024 00:52 1h 23m 8s lemmy:mku-sim_revert
lemmy:mku-sim_revert
September 26, 2024 00:52 1h 23m 8s
Allow term change in MCccfraft.cfg and disable abs model refinement Verification #2128: Pull request #6498 synchronize by achamayou
September 25, 2024 12:09 1h 18m 29s achamayou:mc_experiment
achamayou:mc_experiment
September 25, 2024 12:09 1h 18m 29s
Allow term change in MCccfraft.cfg and disable abs model refinement Verification #2127: Pull request #6498 opened by achamayou
September 25, 2024 08:25 2h 54m 57s achamayou:mc_experiment
achamayou:mc_experiment
September 25, 2024 08:25 2h 54m 57s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2126: Pull request #6493 synchronize by lemmy
September 25, 2024 03:32 6h 0m 28s lemmy:mku-refinement
lemmy:mku-refinement
September 25, 2024 03:32 6h 0m 28s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2125: Pull request #6493 synchronize by lemmy
September 25, 2024 03:31 59s lemmy:mku-refinement
lemmy:mku-refinement
September 25, 2024 03:31 59s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2124: Pull request #6493 synchronize by lemmy
September 25, 2024 02:14 1h 17m 46s lemmy:mku-refinement
lemmy:mku-refinement
September 25, 2024 02:14 1h 17m 46s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2123: Pull request #6493 synchronize by lemmy
September 25, 2024 01:53 21m 21s lemmy:mku-refinement
lemmy:mku-refinement
September 25, 2024 01:53 21m 21s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2122: Pull request #6493 synchronize by lemmy
September 25, 2024 00:00 50m 46s lemmy:mku-refinement
lemmy:mku-refinement
September 25, 2024 00:00 50m 46s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2121: Pull request #6493 synchronize by lemmy
September 23, 2024 19:48 50m 45s lemmy:mku-refinement
lemmy:mku-refinement
September 23, 2024 19:48 50m 45s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2120: Pull request #6493 synchronize by lemmy
September 22, 2024 00:44 41m 52s lemmy:mku-refinement
lemmy:mku-refinement
September 22, 2024 00:44 41m 52s
Verification Verification #2119: Scheduled
September 22, 2024 00:30 1h 19m 52s main
main
September 22, 2024 00:30 1h 19m 52s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2118: Pull request #6493 synchronize by lemmy
September 21, 2024 01:21 44m 10s lemmy:mku-refinement
lemmy:mku-refinement
September 21, 2024 01:21 44m 10s
Check refinement of high-level spec abs for configs with reconfiguration. Verification #2117: Pull request #6493 opened by lemmy
September 20, 2024 18:16 51m 0s lemmy:mku-refinement
lemmy:mku-refinement
September 20, 2024 18:16 51m 0s
Refactor abstract consensus specification Verification #2116: Pull request #6475 synchronize by heidihoward
September 20, 2024 15:43 2m 24s lemmy:mku-abs
lemmy:mku-abs
September 20, 2024 15:43 2m 24s
Refactor abstract consensus specification Verification #2115: Pull request #6475 synchronize by lemmy
September 20, 2024 14:21 50m 53s lemmy:mku-abs
lemmy:mku-abs
September 20, 2024 14:21 50m 53s
Refactor abstract consensus specification Verification #2114: Pull request #6475 synchronize by heidihoward
September 20, 2024 12:28 1h 20m 44s lemmy:mku-abs
lemmy:mku-abs
September 20, 2024 12:28 1h 20m 44s
Refactor abstract consensus specification Verification #2113: Pull request #6475 synchronize by heidihoward
September 20, 2024 09:57 1h 15m 8s lemmy:mku-abs
lemmy:mku-abs
September 20, 2024 09:57 1h 15m 8s
Refactor abstract consensus specification Verification #2112: Pull request #6475 synchronize by lemmy
September 18, 2024 20:00 1h 21m 24s lemmy:mku-abs
lemmy:mku-abs
September 18, 2024 20:00 1h 21m 24s