Skip to content

chore: sync public export#4

Merged
mattbaconz merged 1 commit into
mainfrom
sync/public-export-27662955545
Jun 17, 2026
Merged

chore: sync public export#4
mattbaconz merged 1 commit into
mainfrom
sync/public-export-27662955545

Conversation

@mattbaconz

Copy link
Copy Markdown
Owner

Generated from the private Kernel source allowlist sync workflow.

Verification run by this workflow:

  • pnpm install --frozen-lockfile
  • pnpm test
  • pnpm typecheck
  • pnpm lint
  • pnpm build
  • pnpm verify:packed
  • kernel policy check --ci

@mattbaconz mattbaconz merged commit c8a0c98 into main Jun 17, 2026
1 check passed
@mattbaconz mattbaconz deleted the sync/public-export-27662955545 branch June 17, 2026 03:06

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1a5c2e6a70

ℹ️ 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".

Comment thread src/core/context/pr.ts

try {
const pullRequest = (await apiClient(`${basePath}/pulls/${number}`)) as GitHubPullRequest;
const files = (await apiClient(`${basePath}/pulls/${number}/files`)) as GitHubPullFile[];

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Paginate PR file results

For PRs touching more than 30 files, this single call only returns the first page: GitHub documents the List pull request files endpoint as paginated with a default of 30 files per page (https://docs.github.com/en/rest/pulls/pulls#list-pull-requests-files), and the API client does not follow Link/page parameters. The cache and summary will under-report changedFiles and omit paths agents need for risk/policy decisions; request all pages before mapping the file list.

Useful? React with 👍 / 👎.

Comment thread src/core/context/pr.ts

const runs = checkRuns.check_runs ?? [];
const passing = runs.filter((run) => run.conclusion === 'success').length;
const failing = runs.filter((run) => run.conclusion === 'failure' || run.conclusion === 'cancelled').length;

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Treat timed-out checks as failures

When a completed check run concludes timed_out or action_required, GitHub returns those as valid conclusion values (https://docs.github.com/en/rest/checks/runs), but this filter only treats failure and cancelled as failing. In that scenario pending is also 0, so a PR with a timed-out required check is summarized as unknown instead of failure, hiding a blocking check from agents using the context.

Useful? React with 👍 / 👎.

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