[ocots]

Plan: one deploy decision for the documentation

Conventions: ct-conventions v0.11.0; ct-agents v0.4.0.

What and why

A pull request labelled run documentation without documentation push preview announced a deployment that never happened (#410): DocumenterVitepress.MarkdownVitepress decides the deploy base during makedocs with push_preview=true hard-coded when it is given no deploy_decision, so the site was built for previews/PR<n>, then deploydocs, which reads the label, refused it.

What changes

File	After
AGENTS.md	pins ct-conventions v0.11.0, which tightens SITE13 this way (control-toolbox/ct-conventions#54)
docs/make.jl	computes deploy_decision once with Documenter.deploy_folder(…; push_preview), push_preview read from DOCUMENTER_PUSH_PREVIEW; passes it to MarkdownVitepress; calls deploydocs only when deploy_decision.all_ok and bases.txt exists, and says why otherwise

No behaviour change for a push to main (deploys dev), a stable tag, or a pull request with the preview label.

Verification

Decision computed locally for each event (read-only, nothing deployed):

local                  all_ok=false subfolder="" bases=[""]
PR, no label           all_ok=false subfolder="" bases=[""]
push to main           all_ok=true subfolder="dev" bases=["dev"]

The pull request with the preview label needs the GitHub API (the PR must come from the same repository), so it is checked here in CI:

• this PR with run documentation only (run 42379217136): Bases that will be built: [""], "Skipping deployment: no preview requested (label documentation push preview absent).";
• then with documentation push preview (run 42382155802): Bases that will be built: ["previews/PR411"], Deploying: ✔, online at https://control-toolbox.org/OptimalControlProblems.jl/previews/PR411/.

Follow-up

SITE13 is tightened the same way in ct-conventions v0.11.0 (control-toolbox/ct-conventions#54, #55). One issue per package using DocumenterVitepress: control-toolbox/CTBase.jl#648, control-toolbox/CTModels.jl#517, control-toolbox/CTSolvers.jl#326, control-toolbox/CTFlows.jl#516, control-toolbox/CTLie.jl#81, control-toolbox/OptimalControl.jl#1042.

The label documentation push preview did not exist in this repository (it does in every other one): created, same color and description.

Rebased on main after #408 (conflict in docs/make.jl, the fix reapplied on the new file).

Closes #410

🤖 Generated with Claude Code