Phase 15: skip api/harness CI for doc-only PRs + markdown lint gate #11

Merged
luckberg merged 18 commits from gsd/phase-15-ci-skip-api-harness-jobs-for-doc-only-prs into main 2026-06-12 11:08:54 -04:00
Showing only changes of commit da623ac234 - Show all commits
+6 -4
View File
@@ -11,10 +11,12 @@
# GITEA_-prefixed names cannot be created. GITEA_TOKEN / GITHUB_TOKEN cannot push packages.
#
# Safety gate: branch protection on main, NOT a needs: dependency in this file.
# The PR test jobs (fast-checks, api, harness in ci.yml) run on pull_request — they never
# run in the same workflow invocation as publish.yml. Tests gate the PR; main is trusted to
# be green because direct push and force push are blocked and the three required checks
# (CI / fast-checks, CI / api, CI / harness) must pass before merge.
# The PR test jobs (fast-checks, api, harness, gate in ci.yml) run on pull_request — they
# never run in the same workflow invocation as publish.yml. Tests gate the PR; main is
# trusted to be green because direct push and force push are blocked and the two required
# checks (CI / fast-checks, CI / gate) must pass before merge. CI / api and CI / harness
# are conditionally skipped on doc-only PRs and are gated via the always-running CI / gate
# aggregate rather than being required directly.
#
# To bump the milestone tag at a milestone boundary: edit MILESTONE below.