Forgot to generate dist/index.js

Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
gazebo-tooling · Dec 6, 2024 · 276f60e · 276f60e
1 parent cfcb1ce
commit 276f60e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dist/index.js b/dist/index.js
@@ -36019,7 +36019,9 @@ async function run(_local, _lib, _branch) {
 
     if (!_local && labels.length > 0) {
       const prNumber = github.context.payload.pull_request.number;
-      core.debug(`Adding labels: [${labels}] to PR [${prNumber}]`);
+      core.debug(`::debug:: Adding labels: [${labels}] to PR [${prNumber}]`);
+      core.info(`Adding labels: [${labels}] to PR [${prNumber}]`);
+      core.notice(`Adding labels: [${labels}] to PR [${prNumber}]`);
       gh.rest.issues.addLabels(
         Object.assign({issue_number: prNumber, labels: labels },
         github.context.repo));