Skip to content

Actions: microsoft/CCF

Actions

Backport PR to LTS release branch(es)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
1,402 workflow runs
1,402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove StatsFile.tla Backport PR to LTS release branch(es) #2994: Pull request #6519 closed by achamayou
October 3, 2024 09:58 2s
October 3, 2024 09:58 2s
End to end test for CBOR proof Backport PR to LTS release branch(es) #2993: Pull request #6499 closed by achamayou
October 2, 2024 20:42 2s
October 2, 2024 20:42 2s
Remove StatsFile.tla Backport PR to LTS release branch(es) #2992: Pull request #6519 labeled by heidihoward
October 2, 2024 20:01 3s
October 2, 2024 20:01 3s
Remove writing state-space statistics after the demise of cimetrics. Backport PR to LTS release branch(es) #2991: Pull request #6518 closed by achamayou
October 2, 2024 17:28 2s
October 2, 2024 17:28 2s
Check refinement of high-level spec abs with all models Backport PR to LTS release branch(es) #2990: Pull request #6509 closed by lemmy
October 2, 2024 15:53 2s
October 2, 2024 15:53 2s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Backport PR to LTS release branch(es) #2989: Pull request #6517 closed by lemmy
October 2, 2024 13:56 2s
October 2, 2024 13:56 2s
Iteration on TLC wrapper script Backport PR to LTS release branch(es) #2988: Pull request #6513 closed by achamayou
October 2, 2024 11:43 1s
October 2, 2024 11:43 1s
Fix historical TX requests for previous epochs during recovery Backport PR to LTS release branch(es) #2987: Pull request #6507 closed by achamayou
October 2, 2024 09:26 2s
October 2, 2024 09:26 2s
Model max_uncommitted_tx_count of raft.h in abs.tla Backport PR to LTS release branch(es) #2986: Pull request #6508 closed by achamayou
October 2, 2024 08:31 3s
October 2, 2024 08:31 3s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Backport PR to LTS release branch(es) #2985: Pull request #6517 labeled by lemmy
October 2, 2024 00:49 6s
October 2, 2024 00:49 6s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Backport PR to LTS release branch(es) #2984: Pull request #6517 labeled by lemmy
October 2, 2024 00:49 5s
October 2, 2024 00:49 5s
Format Python under tla/ Backport PR to LTS release branch(es) #2983: Pull request #6515 closed by achamayou
October 1, 2024 14:39 3s
October 1, 2024 14:39 3s
Iteration on TLC wrapper script Backport PR to LTS release branch(es) #2982: Pull request #6513 labeled by achamayou
October 1, 2024 08:17 2s
October 1, 2024 08:17 2s
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app Backport PR to LTS release branch(es) #2981: Pull request #6514 closed by achamayou
October 1, 2024 07:58 2s
October 1, 2024 07:58 2s
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app Backport PR to LTS release branch(es) #2980: Pull request #6514 labeled by dependabot bot
September 30, 2024 17:00 4s
September 30, 2024 17:00 4s
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app Backport PR to LTS release branch(es) #2979: Pull request #6514 labeled by dependabot bot
September 30, 2024 17:00 3s
September 30, 2024 17:00 3s
[WIP] [DRAFT] COSE back-endorsements Backport PR to LTS release branch(es) #2978: Pull request #6510 labeled by maxtropets
September 30, 2024 14:02 2s
September 30, 2024 14:02 2s
Check refinement of high-level spec abs with all models Backport PR to LTS release branch(es) #2977: Pull request #6509 labeled by lemmy
September 30, 2024 13:02 3s
September 30, 2024 13:02 3s
Split Verification Jobs Backport PR to LTS release branch(es) #2976: Pull request #6512 closed by achamayou
September 30, 2024 12:03 1s
September 30, 2024 12:03 1s
Minimize number of TLC configuration files. Backport PR to LTS release branch(es) #2975: Pull request #6511 closed by achamayou
September 30, 2024 08:35 3s
September 30, 2024 08:35 3s
Fix historical TX requests for previous epochs during recovery Backport PR to LTS release branch(es) #2974: Pull request #6507 labeled by maxtropets
September 28, 2024 20:37 2s
September 28, 2024 20:37 2s
Minimize number of TLC configuration files. Backport PR to LTS release branch(es) #2973: Pull request #6511 labeled by lemmy
September 27, 2024 23:55 3s
September 27, 2024 23:55 3s
Allow term change in MCccfraft.cfg and disable abs model refinement Backport PR to LTS release branch(es) #2972: Pull request #6498 closed by achamayou
September 27, 2024 15:12 3s
September 27, 2024 15:12 3s
Nuke obsolete QUIC doc page Backport PR to LTS release branch(es) #2971: Pull request #6506 closed by achamayou
September 27, 2024 14:19 2s
September 27, 2024 14:19 2s
Check refinement of high-level spec abs with all models Backport PR to LTS release branch(es) #2970: Pull request #6509 labeled by lemmy
September 27, 2024 04:38 2s
September 27, 2024 04:38 2s