Skip to content

ci(doc): fail the build on a dead reference or a leftover wiki image - #731

Merged
balat merged 1 commit into
masterfrom
ci/strict-refs
Aug 27, 2026
Merged

balat merged 1 commit into
masterfrom
ci/strict-refs

Conversation

@balat

@balat balat commented Aug 27, 2026

Copy link
Copy Markdown
Member

wodoc build reports the markup that was meant to become a link or an image and
did not, and --strict-refs makes it fatal (ocsigen/wodoc#14, refined in #17, #18
and #20).

ocsigen-start is the last Ocsigen project to get this. It could not, until #730
made its docs build again — they had been frozen on gh-pages since 2026-06-22.

The rebuild reports nothing: no dead reference, and not even a reference into a
dependency the site does not host. Every page of the manual on gh-pages carries 0
unresolved span.

With this, every project except js_of_ocaml (ocsigen/js_of_ocaml#2411, left for its
maintainers) fails its doc build rather than shipping a link that leads nowhere.

wodoc reports the markup that was meant to become a link and did not, and
--strict-refs makes it fatal. Now that the docs build again (#730), this one
reports nothing at all: no dead reference, and not even a reference into a
dependency the site does not host.
@balat
balat merged commit 3442699 into master Aug 27, 2026
0 of 7 checks passed
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.

1 participant