Skip to content

[trust-quorum] tla: let the coordinator receive its own commit - #11601

Draft
sunshowers wants to merge 1 commit into
mainfrom
sunshowers/spr/trust-quorum-tla-let-the-coordinator-receive-its-own-commit
Draft

[trust-quorum] tla: let the coordinator receive its own commit#11601
sunshowers wants to merge 1 commit into
mainfrom
sunshowers/spr/trust-quorum-tla-let-the-coordinator-receive-its-own-commit

[trust-quorum] tla: let the coordinator receive its own commit

c89aa8f
Select commit
Loading
Failed to load commit list.
buildomat / *control succeeded Oct 29, 2026 in 2m 5s

Checks underway.

Plan loaded from commit c89aa8f. Plan approved by user "sunshowers".

View more details on buildomat