Skip to content

CI answers for a pull request, and nothing else - #67

Closed
leeovery wants to merge 1 commit into
mainfrom
ci-pull-request-only
Closed

CI answers for a pull request, and nothing else#67
leeovery wants to merge 1 commit into
mainfrom
ci-pull-request-only

Conversation

@leeovery

Copy link
Copy Markdown
Owner

Summary

  • Drops the push: trigger from ci.yml, leaving pull_request: alone. A bare push: ran the full matrix on every commit to every branch, so a feature branch mid-work piled up runs that nobody read — and it fired on tag pushes too, re-testing a tree that had already passed as a PR and that .mint.toml's preflight re-checks at release anyway.
  • CI keeps the job nothing else does: 3.11 / 3.12 / 3.13 on Linux plus a clean macOS box, and dash + ksh for tests/test_shim.py — shells a Mac doesn't have, where the suite otherwise skips silently.
  • Trues up the two places in CLAUDE.md that claimed "every push and PR". The anti-drift rules require the workflow and the Development section to agree.

Test plan

  • ruff check, ty check, ruff format --check . — clean.
  • pytest -m "not live" — 2041 passed, 15 deselected.
  • Workflow YAML parses; triggers resolve to {'pull_request': None}.
  • This PR is its own proof: a run appearing here shows pull_request still fires, and no second run against the branch tip shows push is gone.

Note

main has no green CI run of its own — last night's was cancelled, and after this nothing will ever give it one. Accepted trade: if main drifts between a PR's last pass and its merge, nothing re-checks the combination until the next PR or preflight at release.

A bare `push:` ran the matrix on every commit to every branch — a feature
branch mid-work piled up runs saying nothing, and the tag push re-ran a tree
that had already passed as a PR and would pass preflight again at release.
The pull request is the moment the answer is read, so it is the only trigger
left. CLAUDE.md's two claims about the trigger move with it.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@leeovery

Copy link
Copy Markdown
Owner Author

Superseded: the workflow is being removed, not retriggered.

@leeovery leeovery closed this Aug 26, 2026
@leeovery
leeovery deleted the ci-pull-request-only branch August 26, 2026 23:34
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