From 7b6c61f298e408f14fa2d574ef252d1787a00ea6 Mon Sep 17 00:00:00 2001
From: Shaur Kumar <shaurkinthewater@gmail.com>
Date: Mon, 22 Jun 2026 08:33:41 -0600
Subject: [PATCH] ci: file weekly failure issue with Bug type and example_ws
 label

Tag the auto-filed moveit_pro issue from the weekly sim integration
suite with the native "Bug" issue Type and the `example_ws` label so it
sorts into moveit_pro's triage. Applied best-effort: if the create
rejects the type/labels, retry with just title/body so the failure
notification still lands.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .github/workflows/ci.yaml | 41 +++++++++++++++++++++++++++++++++------
 1 file changed, 35 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ece15306..3d7a2c22 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -404,12 +404,41 @@ jobs:
               });
               core.info(`Commented on existing ${issueOwner}/${issueRepo} issue #${existing.number}.`);
             } else {
-              const created = await github.rest.issues.create({
-                owner: issueOwner,
-                repo: issueRepo,
-                title,
-                body,
-              });
+              // `type` is the native org-level issue Type (moveit_pro triages
+              // failures by Type); `labels` marks the issue as originating from
+              // example_ws so it can be filtered in moveit_pro's shared tracker.
+              // Both are applied best-effort: if the create rejects them (e.g.
+              // the "Bug" type is renamed), retry with just title/body so the
+              // failure notification still lands rather than throwing and being
+              // silently dropped — same fail-open intent as the search above.
+              let created;
+              try {
+                created = await github.rest.issues.create({
+                  owner: issueOwner,
+                  repo: issueRepo,
+                  title,
+                  body,
+                  type: 'Bug',
+                  labels: ['example_ws'],
+                });
+              } catch (e) {
+                // Only retry on a 422 (the type/labels were rejected). Any other
+                // error — including a lost response after the issue was already
+                // created remotely — must rethrow, or the retry would file a
+                // duplicate issue.
+                if (e?.status !== 422) {
+                  throw e;
+                }
+                core.warning(
+                  `Create with type/labels rejected (${e.message}); retrying without them.`
+                );
+                created = await github.rest.issues.create({
+                  owner: issueOwner,
+                  repo: issueRepo,
+                  title,
+                  body,
+                });
+              }
               core.info(`Opened ${issueOwner}/${issueRepo} issue #${created.data.number}.`);
             }