Skip to content

specs: restore github-pages deploy by removing deprecated mdBook config key - #5201

Draft
renaynay with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-github-actions-deploy
Draft

specs: restore github-pages deploy by removing deprecated mdBook config key#5201
renaynay with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-github-actions-deploy

Conversation

Copilot AI commented Aug 24, 2026

Copy link
Copy Markdown
Contributor

Description

The github-pages / deploy (pull_request) job failed during mdbook build specs because specs/book.toml used a removed mdBook config field (multilingual). This PR removes the incompatible field so the docs build can proceed on the current mdbook version used in CI.

Changes

  • Root cause in CI

    • mdbook v0.5.x rejects [book].multilingual with: unknown field multilingual.
  • Minimal fix

    • Removed multilingual = false from specs/book.toml.
  • Scope

    • Single-file docs config change; no workflow logic or application code changes.

Patch excerpt

[book]
authors = ["Celestia Labs"]
language = "en"
src = "src"
title = "Celestia Node Specification"

Co-authored-by: renaynay <41963722+renaynay@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix failing GitHub Actions job for deployment specs: restore github-pages deploy by removing deprecated mdBook config key Aug 24, 2026
Copilot AI requested a review from renaynay August 24, 2026 15:45
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