Skip to content

Pull requests: microsoft/CCF

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add a pull request template
#8369 opened Sep 13, 2026 by Amaury Chamayou (achamayou) Member Loading…
Add commit-aware recovery tracing and defer restart
#8366 opened Sep 13, 2026 by Amaury Chamayou (achamayou) Member 1/2 Loading…
Build only required targets in each CI job
#8365 opened Sep 12, 2026 by Amaury Chamayou (achamayou) Member Loading…
Add Lean KV model and trace conformance tooling lean Verification using Lean
#8339 opened Sep 10, 2026 by Amaury Chamayou (achamayou) Member Draft
Introduce separate signing keys table
#8304 opened Sep 7, 2026 by Max (maxtropets) Collaborator Loading…
Validate C++ disaster recovery traces with Lean lean Verification using Lean
#8282 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 2/2 Loading…
Automatically expire stale Pending node entries
#8173 opened Aug 18, 2026 by Copilot AI Loading…
ProTip! Add no:assignee to see everything that’s not assigned.