infra: remove preflight failure comment (#3188)

1 files changed, 0 insertions, 73 deletions

diff --git a/.github/workflows/commentCodeGeneration.ts b/.github/workflows/commentCodeGeneration.ts
deleted file mode 100644
index 2e8a115c..00000000
--- a/.github/workflows/commentCodeGeneration.ts
+++ /dev/null
@@ -1,73 +0,0 @@
-import type { context as ctx, GitHub } from '@actions/github/lib/utils';
-
-/**
- * Notifies the PR about uncommitted changes generated by the `generate:*` commands.
- *
- * This script is used by github-script
- * https://github.com/actions/github-script
- *
- * @param github A pre-authenticated octokit/rest.js client with pagination plugins
- * @param context An object containing the context of the workflow run.
- */
-export async function script(
-  github: InstanceType<typeof GitHub>,
-  context: typeof ctx
-): Promise<void> {
-  const repoArgs = { owner: context.repo.owner, repo: context.repo.repo };
-
-  // Identify the PR that triggered the workflow
-  const head_branch: string = context.payload.workflow_run.head_branch;
-  const { data: prs } = await github.rest.pulls.list({
-    ...repoArgs,
-    state: 'open',
-    head: head_branch,
-  });
-
-  if (prs.length === 0) {
-    console.log(`No PRs found for branch ${head_branch}`);
-    return;
-  }
-
-  const pr_number = prs[0].number;
-
-  // Check if the PR already has a comment from the bot
-
-  const { data: comments } = await github.rest.issues.listComments({
-    ...repoArgs,
-    issue_number: pr_number,
-  });
-
-  const body = `GitHub Actions has found some problems running the preflight checks.
-
-Please make sure to:
-
-- run \`pnpm run preflight\` locally
-- fix all issues until the command completes without errors
-- commit and push the changes
-`;
-
-  const botComment = comments.find(
-    (comment) => comment.user?.type === 'Bot' && comment.body?.includes(body)
-  );
-
-  const isSuccess = context.payload.workflow_run.conclusion === 'success';
-
-  if (isSuccess) {
-    // Delete the bot comment if present
-    if (botComment != null) {
-      await github.rest.issues.deleteComment({
-        ...repoArgs,
-        comment_id: botComment.id,
-      });
-    }
-  } else {
-    // Create the comment if missing
-    if (botComment == null) {
-      await github.rest.issues.createComment({
-        ...repoArgs,
-        issue_number: pr_number,
-        body,
-      });
-    }
-  }
-}