ci: pin docs-engine to v0.3.0 for the default Contributing page - #7
Merged
Merged
Conversation
docs-engine v0.3.0 adds an automatic Contributing page to every project's generated guide, with no config needed and no override in place here. The shared site.yml workflow still defaults to v0.2.0, so pinning this project's docs-engine-ref explicitly is what actually gets the new page onto glitter-uikit's live site, and it also keeps this build reproducible if that shared default moves again later. Same change already landed in jlt-commons/raylib-android#8.
burinc
added a commit
that referenced
this pull request
Sep 17, 2026
docs-engine v0.3.0 adds an automatic Contributing page to every project's generated guide, with no config needed and no override in place here. The shared site.yml workflow still defaults to v0.2.0, so pinning this project's docs-engine-ref explicitly is what actually gets the new page onto glitter-uikit's live site, and it also keeps this build reproducible if that shared default moves again later. Same change already landed in jlt-commons/raylib-android#8.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
docs-engine v0.3.0 (jlt-commons/docs-engine) adds an automatic
Contributing page to every project's generated guide — purely
additive, no config required, and overridable by a project's own
docs/guide/contributing.md. glitter-uikit has no such override in
place, so it picks up the new default page as-is.
This project's site.yml calls the shared reusable workflow,
jlt-commons/ci-builds/.github/workflows/site.yml@main, whose
docs-engine-ref input still defaults to the older v0.2.0. Pinning
this project explicitly to v0.3.0 is what actually gets the new
Contributing page onto glitter-uikit's live site, rather than
waiting on the shared default to move. It also keeps this project's
build reproducible if that shared default changes again later.
Verified docs/check-site.sh has no exact guide-page-count assertion
that an extra generated page would break — only named-page-existence
checks — and this PR's own CI run is the authoritative confirmation
of that.
Prior art: