Skip to content

ci: detect default branch coverage by commit#122

Merged
saagpatel merged 1 commit into
masterfrom
codex/ci/assistsupport-diff-coverage-head-sha
May 17, 2026
Merged

ci: detect default branch coverage by commit#122
saagpatel merged 1 commit into
masterfrom
codex/ci/assistsupport-diff-coverage-head-sha

Conversation

@saagpatel
Copy link
Copy Markdown
Owner

What

  • Treat default-branch coverage runs as skippable when the checked-out commit matches the compare branch SHA.
  • Keep the existing local branch and GitHub ref-name checks as fast paths.

Why

  • GitHub Actions can run the default branch in a detached checkout, and the previous env/local-branch checks did not catch the post-merge master run.

Testing

  • bash -n scripts/ci/run-diff-coverage.sh
  • env -u GITHUB_REF_NAME -u GITHUB_REF bash scripts/ci/run-diff-coverage.sh
  • env GITHUB_REF=refs/heads/master bash scripts/ci/run-diff-coverage.sh
  • git diff --check scripts/ci/run-diff-coverage.sh

@saagpatel saagpatel merged commit 4a12a2c into master May 17, 2026
33 checks passed
@saagpatel saagpatel deleted the codex/ci/assistsupport-diff-coverage-head-sha branch May 17, 2026 22:53
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