Merge branch 'main' into gpu-sync-instrumentation

This commit is contained in:
Aseem Saxena 2026-01-12 15:48:29 -08:00 committed by GitHub
commit 29193b55c6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -408,7 +408,7 @@ export const githubApp = await (async () => {
)
// Helper to add reaction based on comment type
const addReaction = async (content: "+1" | "confused") => {
const addReaction = async (content: "+1") => {
if (commentType === "issue_comment") {
await octokit.rest.reactions.createForIssueComment({
owner: repository.owner.login,
@ -460,7 +460,7 @@ export const githubApp = await (async () => {
console.log(
`No optimization event found for PR #${prNumber} in ${repository.full_name} (pr_id=${prId})`,
)
await addReaction("confused")
await addReaction("+1")
return
}
@ -549,7 +549,7 @@ export const githubApp = await (async () => {
Sentry.captureException(error)
try {
await addReaction("confused")
await addReaction("+1")
} catch (reactionError) {
console.error("Failed to add reaction:", reactionError)
}