chore: fix comment on PR (#954)

marimo-team · Mar 15, 2024 · 257e085 · 257e085
1 parent 2fef685
commit 257e085
Showing 1 changed file with 11 additions and 7 deletions.
diff --git a/.github/workflows/dev-release.yml b/.github/workflows/dev-release.yml
@@ -95,15 +95,19 @@ jobs:
           script: |
             try {
               const pullRequest = await github.rest.search.issuesAndPullRequests({
-                q: context.sha
+                q: `sha:${context.sha} is:pr is:merged`
               });
 
-              await github.rest.issues.createComment({
-                owner: context.repo.owner,
-                repo: context.repo.repo,
-                issue_number: pullRequest.data.items[0].number,
-                body: '🚀 Development release published. You may be able to view the changes at https://marimo.app?v=${{ env.MARIMO_VERSION }}'
-              });
+              if (pullRequest.data.items.length > 0) {
+                await github.rest.issues.createComment({
+                  owner: context.repo.owner,
+                  repo: context.repo.repo,
+                  issue_number: pullRequest.data.items[0].number,
+                  body: `🚀 Development release published. You may be able to view the changes at https://marimo.app?v=${process.env.MARIMO_VERSION}`
+                });
+              } else {
+                console.log("No merged PR found for this SHA.");
+              }
             } catch (err) {
               console.error(err);
             }