Skip to content

fix: repair dead documentation links - #13467

Open
tomatotomata wants to merge 1 commit into
noir-lang:masterfrom
tomatotomata:codex/fix-doc-dead-links
Open

fix: repair dead documentation links#13467
tomatotomata wants to merge 1 commit into
noir-lang:masterfrom
tomatotomata:codex/fix-doc-dead-links

Conversation

@tomatotomata

@tomatotomata tomatotomata commented Aug 5, 2026

Copy link
Copy Markdown

Summary

Fixes #13404 by repairing the stale external documentation links reported by the repository's Check Markdown links workflow:

  • replace npm package pages that returned checker-blocked 403 responses with the maintained GitHub repositories
  • update the Aztec contract examples link from the removed master/noir-projects/noir-contracts/contracts path to the current next/docs/examples/contracts path
  • point the vlayer reference at the current blog index after the old article URL began returning 404

The change is limited to the three docs references identified by the linked workflow run.

Validation

  • npx --yes markdown-link-check docs/docs/guides/how_to_use_oracles.md --config docs/link-check.config.json -q
  • npx --yes markdown-link-check docs/docs/guides/thinking_in_circuits.md --config docs/link-check.config.json -q
  • npx --yes markdown-link-check docs/docs/project_structure/crates_and_packages.md --config docs/link-check.config.json -q
  • git diff --check

The focused link checks pass on commit d310b52. The repository contribution guide asks for the documentation label; the fork token cannot add repository labels, so the changed paths and PR scope make the required category explicit for the maintainer.

Let me know what you think.

@github-actions

github-actions Bot commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

@tomatotomata tomatotomata changed the title docs: repair dead documentation links fix: repair dead documentation links Aug 5, 2026
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.

Docs contains dead links

1 participant