Repository navigation
Cancel superseded PR runs and drop macOS from the integration matrices - #80
Conversation
A push to a PR now cancels that PR's running checks; pushes to main and tags still always finish. badge-action, consumer-coverage and readme-badge-coverage run on Linux and Windows only: macOS adds no path handling of its own, and BadgeActionTests run badge.sh under macOS's bash 3.2 in local runs. macOS runners remain for the release-only osx-arm64 pack. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f5d62b6102
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| # A new push to a PR supersedes its running checks. Pushes to main and tags never cancel: | ||
| # every merge is validated and a release run always finishes. | ||
| concurrency: | ||
| group: ci-${{ github.ref }} |
There was a problem hiding this comment.
When a main run is active and another is pending, a third main push—or a workflow_dispatch release from main—uses the same ci-refs/heads/main group and cancels the pending run even though cancel-in-progress is false. GitHub documents that a concurrency group retains only one pending run by default, replacing any earlier pending run, so this can skip the promised per-merge validation or discard a queued manual publication; use a unique group for non-PR runs or enable a queue that preserves them. See GitHub's concurrency documentation.
Useful? React with 👍 / 👎.
Each push to a PR started a full 26-job run and never cancelled the previous one; PR #79 accumulated over 37 overlapping runs.
concurrencycancels a PR's running checks when a newer push arrives. Pushes to main and tags never cancel, so every merge and every release run finishes.badge-action,consumer-coverageandreadme-badge-coveragerun on Linux and Windows (18 → 12 jobs). macOS adds no path handling beyond Linux's, andBadgeActionTestsrunbadge.shunder macOS's bash 3.2 locally.pack-tool-nativekeeps its macOS runner for the release-only osx-arm64 Native AOT pack..github/tests/README.md,tests/AGENTS.mdand the CI skill now say Linux and Windows.Required checks (
build,test (ubuntu-latest),test (windows-latest)) are unchanged.actionlintpasses.🤖 Generated with Claude Code