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

Identity back-endorsement becomes per-identity-type run-long-test Run Long Test job
#8401 opened Sep 18, 2026 by Max (maxtropets) Collaborator Loading…
Lean spec of ccfraft and trace validation
#8382 opened Sep 16, 2026 by cjen1-msft Contributor Draft
MLDSA PKI
#8378 opened Sep 16, 2026 by Max (maxtropets) Collaborator Loading…
Add Lean KV model and trace conformance tooling lean Verification using Lean
#8339 opened Sep 10, 2026 by Amaury Chamayou (achamayou) Member Draft
Validate C++ disaster recovery traces with Lean lean Verification using Lean
#8282 opened Sep 4, 2026 by Amaury Chamayou (achamayou) Member 2/2 Draft
ProTip! Mix and match filters to narrow down what you’re looking for.