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
Sort

Pull requests list

TLA CI on Azure Linux run-long-verification Run Long Verification jobs
#6884 opened Mar 4, 2025 by maxtropets Loading…
Take lock over Snapshotter state during callback run-long-test Run Long Test job
#6882 opened Mar 4, 2025 by eddyashton Loading…
Test enabling all snmalloc checks run-long-test Run Long Test job
#6877 opened Mar 3, 2025 by achamayou Draft
Remove unused track_read_versions
#6871 opened Feb 28, 2025 by achamayou Loading…
Test new C-ACI pool
#6653 opened Nov 15, 2024 by achamayou Draft
Try running all e2e tests in TSAN run-long-test Run Long Test job
#6616 opened Nov 7, 2024 by eddyashton Draft
[Proof-of-Concept] Liveness checking ccfraft liveness tla TLA+ specifications
#6587 opened Oct 23, 2024 by lemmy Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.