Repository navigation

Ci/docs and busy beaver sharding - #31

Open

mo271 wants to merge 2 commits into

mainfrom

ci/docs-and-busy-beaver-sharding

Open

Ci/docs and busy beaver sharding#31
mo271 wants to merge 2 commits into
mainfrom
ci/docs-and-busy-beaver-sharding

Commits on Nov 11, 2026
- ci(docs): skip generated M_* certificate blobs in Verso build and fix cache loop
  mo271
  committed
  d69c721
- ci(busy-beaver): shard leaf holdout proofs across 8 parallel jobs
  mo271
  committed
  ed32a89