Skip to content

CI: Build the Java docs with the current docs assembly - #36

Merged
tony merged 1 commit into
masterfrom
ci/bump-docs-assembly
Sep 27, 2026
Merged

tony merged 1 commit into
masterfrom
ci/bump-docs-assembly

Conversation

@tony

@tony tony commented Sep 27, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Show the Ruby and Lua entries on libtmux.org's Java pages. This repository builds its tree with libtmux/docs's own assembly, pinned to a commit from before Ruby and Lua joined the site in libtmux/docs#18, so every push to master rebuilt the Java pages with the old menu. Both pins, the docs checkout and the reusable deploy workflow, move to the current libtmux/docs commit together, as the workflow's comment requires.

Compatibility

  • The build call is unchanged. scripts/build-site.sh --ports java --skip-pagefind with LIBTMUX_DOCS_CHECKOUT_JAVA still works; the script's new source-bound mode switches on only when its own variables are set.
  • The deploy inputs are unchanged. path-prefix, artifact, version-kind, port, version, is-default, environment and the three secrets all still exist in reusable-deploy.yml.

Test plan

  • Built locally with the old pin, the Java landing page links neither Ruby nor Lua; with the new pin it links each three times
  • The docs workflow publishes from master after merge

why: libtmux.org's Java pages lacked the Ruby and Lua entries every
other port's pages show. This repository builds its tree with
libtmux/docs's own assembly, pinned to a commit from before Ruby and
Lua joined the site (libtmux/docs#18), so each push to master rebuilt
the Java pages with the old menu.

what:
- Pin the docs checkout and the reusable deploy workflow to the current
  libtmux/docs commit, together, as the workflow requires
- Built locally at each pin, the Java landing page links Ruby and Lua
  three times each at the new one and not at all at the old
@tony
tony merged commit 49c83f6 into master Sep 27, 2026
21 checks passed
@tony
tony deleted the ci/bump-docs-assembly branch September 27, 2026 15:21
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