Raise testutil coverage above main gate#32
Conversation
![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: 79761a5c2a
ℹ️ 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".
|
|
||
| concurrency: | ||
| group: pr-${{ github.workflow }}-${{ github.event.pull_request.head.ref || github.ref_name }} | ||
| group: pr-${{ github.workflow }}-${{ github.event.pull_request.head.repo.full_name || github.repository }}-${{ github.event.pull_request.number || github.ref_name }} |
There was a problem hiding this comment.
In .github/workflows/pr.yml I checked that this workflow is triggered by both pull_request and push, but the new concurrency key now resolves to ...-<repo>-<pr_number> for PR events and ...-<repo>-<branch> for push events. For same-repo PRs, a single commit therefore lands in two different groups, so cross-event cancellation no longer happens and the same pr workflow runs twice per commit; that increases CI load and can block merges if either duplicate run flakes.
Useful? React with 👍 / 👎.
1 participant
Summary
Validation