Repository navigation

Stop publishing docs to GitHub Pages - #1

Merged

npmccallum merged 2 commits into

mainfrom

bot/devtree/drop-docs-pages-publish

Oct 28, 2026

Merged

Stop publishing docs to GitHub Pages#1
npmccallum merged 2 commits into
mainfrom
bot/devtree/drop-docs-pages-publish

Commits on Oct 28, 2026
- refactor: use as_chunks for u32 cell walks
  
  cursoragent
  and
  npmccallum
  committed
  4fce4d0
- ci: stop publishing rustdoc to pages
  
  cursoragent
  and
  npmccallum
  committed
  daf5d48