Skip to content

ci: allow default branch health gates#117

Closed
saagpatel wants to merge 0 commit into
masterfrom
codex/ci/default-branch-gates
Closed

ci: allow default branch health gates#117
saagpatel wants to merge 0 commit into
masterfrom
codex/ci/default-branch-gates

Conversation

@saagpatel
Copy link
Copy Markdown
Owner

What

  • Allow branch-name guard checks to pass for GitHub Actions default-branch checkouts.
  • Reuse the shared diff-coverage script from the quality workflow.
  • Skip diff coverage on default-branch runs where there is no pull-request base diff.

Why

  • core-repo-health was failing on master because the local branch guard treated the CI checkout as direct local work.
  • supporting-policy-and-coverage was failing default-branch verification on a diff-coverage gate that is meant for pull-request diffs.

How

  • Keep local main/master protection intact, but allow it only when CI=true and GITHUB_ACTIONS=true.
  • Centralize diff-coverage behavior in scripts/ci/run-diff-coverage.sh so verify commands and workflow steps agree.

Testing

  • pnpm run health:repo:checks && pnpm run health:repo:static
  • git diff --check

Performance Impact

  • None expected; workflow-only control-flow fix.

Risk / Notes

  • Does not resolve transitive Rust dependency alerts pinned by tauri/lancedb; those remain as separate upstream dependency work.

@saagpatel saagpatel closed this May 17, 2026
@saagpatel saagpatel force-pushed the codex/ci/default-branch-gates branch from df82ba7 to 6e618bb Compare May 17, 2026 21:50
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