The Wayback Machine - https://web.archive.org/web/20230131074324/https://github.com/microsoft/CCF/pulls
Skip to content

Pull requests: microsoft/CCF

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

Pull requests list

Fix build with clang 12
#4920 opened Jan 30, 2023 by achamayou Loading…
Bump google.golang.org/grpc from 1.52.0 to 1.52.3 in /attestation-container dependencies Pull requests that update a dependency file go Pull requests that update Go code
#4918 opened Jan 30, 2023 by dependabot bot Loading…
[WIP] SEV-SNP ACI: Verify UVM endorsements
#4915 opened Jan 27, 2023 by jumaffre Loading…
1 task done
Add GitHub Actions workflow to push attestation container image
#4906 opened Jan 26, 2023 by takuro-sato Loading…
1 task done
Simplify assignment of thread IDs
#4900 opened Jan 26, 2023 by eddyashton Loading…
Invariant violation for QuorumLogInv in TLA+ spec #4473 tla TLA+ specification
#4874 opened Jan 21, 2023 by lemmy Loading…
Pending nodes must not be part of a configuration. tla TLA+ specification
#4867 opened Jan 20, 2023 by lemmy Loading…
Fixing QuorumLogInv in TLA+ spec tla TLA+ specification
#4859 opened Jan 17, 2023 by heidihoward Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.