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
Reduce dependency on TLA runs for CI TLA Shallow Verification #2: Pull request #8205 synchronize by cjen1-msft
In progress cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
In progress
Reduce dependency on TLA runs for CI Continuous Integration AL4 #1008: Pull request #8205 synchronize by cjen1-msft
Queued cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
Queued
Reduce dependency on TLA runs for CI Long Test #9088: Pull request #8205 synchronize by cjen1-msft
1s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
1s
Reduce dependency on TLA runs for CI Benchmark A/B Testing #5163: Pull request #8205 synchronize by cjen1-msft
2s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
2s
Reduce dependency on TLA runs for CI Continuous Integration #8974: Pull request #8205 synchronize by cjen1-msft
In progress cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
In progress
Reduce dependency on TLA runs for CI TLA Shallow Verification #1: Pull request #8205 synchronize by cjen1-msft
11s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
11s
Reduce dependency on TLA runs for CI Continuous Integration AL4 #1007: Pull request #8205 synchronize by cjen1-msft
9s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
9s
Reduce dependency on TLA runs for CI Benchmark A/B Testing #5162: Pull request #8205 synchronize by cjen1-msft
1s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
1s
Reduce dependency on TLA runs for CI Long Test #9087: Pull request #8205 synchronize by cjen1-msft
10s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
10s
Reduce dependency on TLA runs for CI Continuous Integration #8973: Pull request #8205 synchronize by cjen1-msft
9s cjen1-msft:tla-reduction
cjen1-msft:tla-reduction
9s
Add a minimal msgpack serialiser for ccf Continuous Integration #8972: Pull request #7866 synchronize by cjen1-msft
Queued cjen1-msft:msgpack
cjen1-msft:msgpack
Queued
Add a minimal msgpack serialiser for ccf Long Verification #8460: Pull request #7866 synchronize by cjen1-msft
8s cjen1-msft:msgpack
cjen1-msft:msgpack
8s
Add a minimal msgpack serialiser for ccf Continuous Integration AL4 #1006: Pull request #7866 synchronize by cjen1-msft
In progress cjen1-msft:msgpack
cjen1-msft:msgpack
In progress
Add a minimal msgpack serialiser for ccf Benchmark A/B Testing #5161: Pull request #7866 synchronize by cjen1-msft
10s cjen1-msft:msgpack
cjen1-msft:msgpack
10s
Add a minimal msgpack serialiser for ccf Long Test #9086: Pull request #7866 synchronize by cjen1-msft
1s cjen1-msft:msgpack
cjen1-msft:msgpack
1s
Add a minimal msgpack serialiser for ccf Long Test #9085: Pull request #7866 synchronize by cjen1-msft
1s cjen1-msft:msgpack
cjen1-msft:msgpack
1s
Add a minimal msgpack serialiser for ccf Continuous Integration AL4 #1005: Pull request #7866 synchronize by cjen1-msft
31s cjen1-msft:msgpack
cjen1-msft:msgpack
31s
Add a minimal msgpack serialiser for ccf Long Verification #8459: Pull request #7866 synchronize by cjen1-msft
1s cjen1-msft:msgpack
cjen1-msft:msgpack
1s
Add a minimal msgpack serialiser for ccf Benchmark A/B Testing #5160: Pull request #7866 synchronize by cjen1-msft
1s cjen1-msft:msgpack
cjen1-msft:msgpack
1s
Add a minimal msgpack serialiser for ccf Continuous Integration #8971: Pull request #7866 synchronize by cjen1-msft
32s cjen1-msft:msgpack
cjen1-msft:msgpack
32s
Benchmarks Benchmarks #1901: Scheduled
In progress main
main
In progress
Coverage Coverage #355: Scheduled
In progress main
main
In progress
Continuous Integration AL4 Continuous Integration AL4 #1004: Manually run by achamayou
28m 10s achamayou-tdnf-cache-experiment
achamayou-tdnf-cache-experiment
28m 10s
Continuous Integration Continuous Integration #8970: Manually run by achamayou
26m 38s achamayou-tdnf-cache-experiment
achamayou-tdnf-cache-experiment
26m 38s
Continuous Integration AL4 Continuous Integration AL4 #1003: Scheduled
29m 22s main
main
29m 22s