From 534d998e318e332d1f51e63d9e7e0960aeb398c5 Mon Sep 17 00:00:00 2001
From: Michael Bolin <mbolin@openai.com>
Date: Fri, 30 May 2025 11:15:19 -0700
Subject: [PATCH] fix: add extra debugging to GitHub Action

---
 .github/actions/codex/src/post-comment.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/actions/codex/src/post-comment.ts b/.github/actions/codex/src/post-comment.ts
index 9a3d7528eb..914fd0d322 100644
--- a/.github/actions/codex/src/post-comment.ts
+++ b/.github/actions/codex/src/post-comment.ts
@@ -17,6 +17,7 @@ export async function postComment(
   const bodyWithFooter = footer ? `${commentBody}${footer}` : commentBody;
 
   const octokit = ctx.getOctokit();
+  console.info("Got Octokit instance for posting comment");
   const { owner, repo } = github.context.repo;
   const issueNumber = github.context.issue.number;
 
@@ -28,6 +29,7 @@ export async function postComment(
   }
 
   try {
+    console.info("Calling octokit.rest.issues.createComment()");
     await octokit.rest.issues.createComment({
       owner,
       repo,