Skip to content

B2 evaluate ballot proof#5

Merged
orange-dot merged 3 commits into
mainfrom
b2-evaluate-ballot-proof
Jul 4, 2026
Merged

B2 evaluate ballot proof#5
orange-dot merged 3 commits into
mainfrom
b2-evaluate-ballot-proof

docs: fix docs<->proofs drift (TLA bounds, TU count, Track A as-built)

8ab7f6b
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Jul 4, 2026 in 2s

1 configuration not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Default setup

  • ❓  /language:c-cpp

View all branch alerts.