Skip to content

PROBE, do not merge: docs-only CI skip (docs change) - #305

Closed
luisleo526 wants to merge 1 commit into
ci/docs-only-skip-probe-basefrom
ci/docs-only-skip-probe
Closed

luisleo526 wants to merge 1 commit into
ci/docs-only-skip-probe-basefrom
ci/docs-only-skip-probe

Conversation

@luisleo526

Copy link
Copy Markdown
Collaborator

PROBE, do not merge. Throwaway proof for lane pf-ci-docs.

This pull request's only change is one HTML comment in docs/ci.md. It targets ci/docs-only-skip-probe-base, which is the lane branch plus one throwaway commit adding that base to ci.yml's pull_request branches (and the preflight contract's copy of that line). A probe into main would carry the lane's own .github and scripts changes, so it could never be docs-only.

Expected result:

  • changes answers docs-only.
  • preflight and docs.yml run.
  • The four build legs, sanitizers, kernel-only, native-live and corpus-parity-subset are skipped.
  • The build aggregate passes.

It will be closed, and its branches deleted, once the run has been read.

🤖 Generated with Claude Code

https://claude.ai/code/session_01NTa58SoJnqkV5xBwAYQBiJ

@luisleo526 luisleo526 closed this Sep 29, 2026
@luisleo526
luisleo526 deleted the ci/docs-only-skip-probe branch September 29, 2026 23:56
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