Skip to content

Stop publishing docs to GitHub Pages - #1

Merged
npmccallum merged 2 commits into
mainfrom
bot/devtree/drop-docs-pages-publish
Oct 28, 2026
Merged

npmccallum merged 2 commits into
mainfrom
bot/devtree/drop-docs-pages-publish

Conversation

@npmccallum

Copy link
Copy Markdown
Contributor

Summary

This repo should not publish to GitHub Pages. Only the main site repo does that. The docs workflow still built rustdoc and then tried to publish it.

Approach

Keep the rustdoc build as a check. Remove the Pages deploy job, Pages write permissions, and the Pages artifact upload. Leave the concurrency group named for docs.

Verification

  • Tests (and the repo’s continuous integration checks) were run and passed for every commit in this series independently

cursoragent and others added 2 commits October 28, 2026 11:26
Walk fixed-size u32 cells with as_chunks instead of
chunks_exact. A short tail is still rejected by the
multiple-of-four check.

Use assert_ne! for a nonempty error Display check.

Co-authored-by: Nathaniel McCallum <nathaniel@mccallum.life>
Keep building rustdoc on pushes to main so the docs still
get checked. This repo no longer publishes them to GitHub
Pages. Only pichi-vm.github.io publishes to pichi.dev.

Co-authored-by: Nathaniel McCallum <nathaniel@mccallum.life>
@npmccallum
npmccallum merged commit 0fdaaa9 into main Oct 28, 2026
8 checks passed
@npmccallum
npmccallum deleted the bot/devtree/drop-docs-pages-publish branch October 28, 2026 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants