Skip to content

Actions: microsoft/CCF

Backport PR to LTS release branch(es)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,205 workflow runs
1,205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TLA+ specification for client consistency
Backport PR to LTS release branch(es) #2054: Pull request #5699 closed by heidihoward
October 16, 2023 12:29 3s
October 16, 2023 12:29 3s
Speed up trace validation
Backport PR to LTS release branch(es) #2053: Pull request #5732 closed by lemmy
October 16, 2023 08:10 3s
October 16, 2023 08:10 3s
Speed up trace validation
Backport PR to LTS release branch(es) #2052: Pull request #5732 labeled by lemmy
October 14, 2023 04:01 2s
October 14, 2023 04:01 2s
Speed up trace validation
Backport PR to LTS release branch(es) #2051: Pull request #5732 labeled by lemmy
October 14, 2023 03:39 2s
October 14, 2023 03:39 2s
Run trace validation in parallel
Backport PR to LTS release branch(es) #2050: Pull request #5725 closed by achamayou
October 12, 2023 16:34 3s
October 12, 2023 16:34 3s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.