Skip to content

Actions: microsoft/CCF

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,100 workflow run results
12,100 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Long Test
Long Test #393: Scheduled
October 10, 2024 00:01 4s main
October 10, 2024 00:01 4s
Libstdc++ compatibility
Backport PR to LTS release branch(es) #3033: Pull request #6552 closed by achamayou
October 9, 2024 21:33 2s
October 9, 2024 21:33 2s
Upgrade fmtlib from 10.2.1 to 11.0.2
Backport PR to LTS release branch(es) #3034: Pull request #6551 closed by achamayou
October 9, 2024 21:33 2s
October 9, 2024 21:33 2s
Upgrade fmtlib from 10.2.1 to 11.0.2 (#6551)
Bencher: Run Benchmarks #274: Commit 6416770 pushed by github-merge-queue bot
October 9, 2024 21:33 17m 19s main
October 9, 2024 21:33 17m 19s
Libstdc++ compatibility (#6552)
Bencher: Run Benchmarks #273: Commit 79c6681 pushed by github-merge-queue bot
October 9, 2024 21:33 15m 23s main
October 9, 2024 21:33 15m 23s
Libstdc++ compatibility (#6552)
Doc #109: Commit 79c6681 pushed by github-merge-queue bot
October 9, 2024 21:33 5m 19s main
October 9, 2024 21:33 5m 19s
Upgrade fmtlib from 10.2.1 to 11.0.2 (#6551)
Doc #110: Commit 6416770 pushed by github-merge-queue bot
October 9, 2024 21:33 5m 2s main
October 9, 2024 21:33 5m 2s
Continuous Integration
Continuous Integration #880: Merge group checks requested
October 9, 2024 21:01 31m 50s
October 9, 2024 21:01 31m 50s
Continuous Integration
Continuous Integration #879: Merge group checks requested
October 9, 2024 21:01 31m 49s
October 9, 2024 21:01 31m 49s
Libstdc++ compatibility
Long Verification #176: Pull request #6552 opened by achamayou
October 9, 2024 15:08 4s achamayou:libstdc++_compatibility
October 9, 2024 15:08 4s
Libstdc++ compatibility
Continuous Integration #878: Pull request #6552 opened by achamayou
October 9, 2024 15:08 29m 52s achamayou:libstdc++_compatibility
October 9, 2024 15:08 29m 52s
COSE back-endorsements for previous service identities
Backport PR to LTS release branch(es) #3032: Pull request #6510 closed by maxtropets
October 9, 2024 12:21 2s
October 9, 2024 12:21 2s
COSE back-endorsements for previous service identities (#6510)
Bencher: Run Benchmarks #272: Commit b4ceb70 pushed by github-merge-queue bot
October 9, 2024 12:21 13m 32s main
October 9, 2024 12:21 13m 32s
COSE back-endorsements for previous service identities (#6510)
Doc #108: Commit b4ceb70 pushed by github-merge-queue bot
October 9, 2024 12:21 5m 13s main
October 9, 2024 12:21 5m 13s
Check high-level liveness properties in simulation mode
Backport PR to LTS release branch(es) #3031: Pull request #6545 closed by lemmy
October 9, 2024 12:16 2s
October 9, 2024 12:16 2s
Check high-level liveness properties in simulation mode (#6545)
Doc #107: Commit b96daa8 pushed by github-merge-queue bot
October 9, 2024 12:16 4m 58s main
October 9, 2024 12:16 4m 58s
Check high-level liveness properties in simulation mode (#6545)
Bencher: Run Benchmarks #271: Commit b96daa8 pushed by github-merge-queue bot
October 9, 2024 12:16 15m 20s main
October 9, 2024 12:16 15m 20s
Strengthen various *TypeInvs by defining every function's domain.
Backport PR to LTS release branch(es) #3030: Pull request #6544 closed by lemmy
October 9, 2024 11:50 2s
October 9, 2024 11:50 2s
Continuous Integration
Continuous Integration #876: Merge group checks requested
October 9, 2024 11:50 30m 23s
October 9, 2024 11:50 30m 23s
Strengthen various *TypeInvs by defining every function's domain. (#6…
Bencher: Run Benchmarks #270: Commit d7cf62f pushed by github-merge-queue bot
October 9, 2024 11:50 15m 1s main
October 9, 2024 11:50 15m 1s
October 9, 2024 11:50 5m 5s