Skip to content

ci(docs) Refine the example players and overviews - #94

Merged
tony merged 1 commit into
masterfrom
docs-publisher-c5b56f2b9
Nov 8, 2026
Merged

tony merged 1 commit into
masterfrom
docs-publisher-c5b56f2b9

Conversation

@tony

@tony tony commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

Pin only the shared port builder and publisher to c5b56f2b90002281adb95616a3e523e0a192937c from ff7b2e484b4503e599dc83c212ffd21f14c35dbe. All other workflow bytes, library contents, triggers, permissions and language/source/version inputs remain unchanged.

  • Set the JSON a Core player call returned at the size of the program beside it, in each view and when the window resizes (CorePlayer.astro, core-player.css)

The JSON a Core player call returned took the landing page's general code size, larger than the program beside it, so the answer looked heavier than the code that asked.

The exact required CI and root merge receipts of the shared checkpoint must be verified before this operator runs. This PR does not claim an owner build or publication pass. Root reviews this exact caller diff, actual repository-required checks and reviews before merge; optional native estate checks are not a new universal gate.

Execution route: controlled_real_pin_merge_push. Root separately schedules reviewed merges and exact source requests from the actual workflow state. If the current active workflow already publishes the intended source on merge, retain that actual event and do not issue a duplicate request. Future source/native/run identities will be bound to actual events.

why: The JSON a Core player call returned took the landing page's
general code size, larger than the program beside it, so the answer
looked heavier than the code that asked.

what:
- Set the JSON a Core player call returned at the size of the program
  beside it, in each view and when the window resizes
  (`CorePlayer.astro`, `core-player.css`)

Shared source: libtmux/docs
From: ff7b2e484b4503e599dc83c212ffd21f14c35dbe
To:   c5b56f2b90002281adb95616a3e523e0a192937c
@tony
tony merged commit 51d1e14 into master Nov 8, 2026
15 checks passed
@tony
tony deployed to docs-preview-cleanup November 8, 2026 00:35 — with GitHub Actions Active

This branch was successfully deployed

1 active and 1 inactive deployments
docs-preview-cleanup — f19b3719 Deployed Nov 8, 2026 by tony via cleanup #71
docs-preview — f19b3719 Deployed Nov 7, 2026 by tony via publish (pr-94, pr, false, docs-preview, true) / publish #344
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