Skip to content

Actions: microsoft/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove TLA+ specifications and associated tooling Benchmark A/B Testing #7804: Pull request #8663 synchronize by achamayou
7s achamayou-animated-journey
achamayou-animated-journey
7s
Remove TLA+ specifications and associated tooling Lean #424: Pull request #8663 synchronize by achamayou
16m 47s achamayou-animated-journey
achamayou-animated-journey
16m 47s
Remove TLA+ specifications and associated tooling Long Test #11796: Pull request #8663 synchronize by achamayou
11s achamayou-animated-journey
achamayou-animated-journey
11s
Remove TLA+ specifications and associated tooling Continuous Integration #11519: Pull request #8663 synchronize by achamayou
20m 33s achamayou-animated-journey
achamayou-animated-journey
20m 33s
Running Copilot Code Review Copilot #692: by Copilot AI
3m 31s main
main
3m 31s
Lean disaster recovery: ~4x faster proof checking, proofs only Lean #423: Pull request #8669 opened by achamayou
14m 2s achamayou:achamayou-musical-happiness
achamayou:achamayou-musical-happiness
14m 2s
Lean disaster recovery: ~4x faster proof checking, proofs only Benchmark A/B Testing #7803: Pull request #8669 opened by achamayou
2s achamayou:achamayou-musical-happiness
achamayou:achamayou-musical-happiness
2s
Lean disaster recovery: ~4x faster proof checking, proofs only Continuous Integration #11518: Pull request #8669 opened by achamayou
15m 44s achamayou:achamayou-musical-happiness
achamayou:achamayou-musical-happiness
15m 44s
Lean disaster recovery: ~4x faster proof checking, proofs only Long Test #11795: Pull request #8669 opened by achamayou
8s achamayou:achamayou-musical-happiness
achamayou:achamayou-musical-happiness
8s
Benchmarks Benchmarks #2377: Scheduled
19m 18s main
main
19m 18s
Coverage Coverage #829: Scheduled
32m 56s main
main
32m 56s
Add prefix filtering for Fluentd trace export Continuous Integration #11517: Pull request #8668 synchronize by cjen1-msft
15m 38s cjen1-msft-silver-umbrella
cjen1-msft-silver-umbrella
15m 38s
Add prefix filtering for Fluentd trace export Long Test #11794: Pull request #8668 synchronize by cjen1-msft
7s cjen1-msft-silver-umbrella
cjen1-msft-silver-umbrella
7s
Add prefix filtering for Fluentd trace export Lean #422: Pull request #8668 synchronize by cjen1-msft
12m 20s cjen1-msft-silver-umbrella
cjen1-msft-silver-umbrella
12m 20s
Add prefix filtering for Fluentd trace export Benchmark A/B Testing #7802: Pull request #8668 synchronize by cjen1-msft
2s cjen1-msft-silver-umbrella
cjen1-msft-silver-umbrella
2s
Support multiple Fluentd exporters with nonblocking delivery Long Test #11793: Pull request #8666 synchronize by cjen1-msft
2s cjen1-msft-solid-succotash
cjen1-msft-solid-succotash
2s
Support multiple Fluentd exporters with nonblocking delivery Continuous Integration #11516: Pull request #8666 synchronize by cjen1-msft
15m 12s cjen1-msft-solid-succotash
cjen1-msft-solid-succotash
15m 12s
Support multiple Fluentd exporters with nonblocking delivery Lean #421: Pull request #8666 synchronize by cjen1-msft
14m 34s cjen1-msft-solid-succotash
cjen1-msft-solid-succotash
14m 34s
Support multiple Fluentd exporters with nonblocking delivery Benchmark A/B Testing #7801: Pull request #8666 synchronize by cjen1-msft
11s cjen1-msft-solid-succotash
cjen1-msft-solid-succotash
11s
Add Lean consistency trace validation (#8664) Benchmarks #2376: Commit 00d0976 pushed by github-merge-queue Bot
19m 26s main
main
19m 26s
Add Lean consistency trace validation (#8664) Coverage #828: Commit 00d0976 pushed by github-merge-queue Bot
33m 4s main
main
33m 4s
Add Lean consistency trace validation (#8664) Doc #1582: Commit 00d0976 pushed by github-merge-queue Bot
8m 3s main
main
8m 3s
Add Lean consistency trace validation (#8664) CodeQL #4158: Commit 00d0976 pushed by github-merge-queue Bot
10m 30s main
main
10m 30s
Replay Raft retirements from explicit trace events Lean #420: Pull request #8658 synchronize by cjen1-msft
15m 0s cjen1-msft-cuddly-happiness
cjen1-msft-cuddly-happiness
15m 0s
Replay Raft retirements from explicit trace events Benchmark A/B Testing #7800: Pull request #8658 synchronize by cjen1-msft
14m 11s cjen1-msft-cuddly-happiness
cjen1-msft-cuddly-happiness
14m 11s