Add link to build binary (#10049)

JabRef · Jul 1, 2023 · 214f4e3 · 214f4e3
1 parent 4bca1b0
commit 214f4e3
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/deployment.yml b/.github/workflows/deployment.yml
@@ -363,3 +363,11 @@ jobs:
           ssh_options: '-p 9922'
           src: 'build/distribution/'
           dest: [email protected]:/var/www/builds.jabref.org/www/${{ steps.gitversion.outputs.branchName }}/
+      - name: Comment PR
+        if: steps.checksecrets.outputs.secretspresent == 'YES'
+        uses: thollander/actions-comment-pull-request@v2
+        with:
+          message: |
+            The build of this PR is available at <https://builds.jabref.org/pull/${{ github.event.pull_request.number }}/merge>.
+          comment_tag: download-link
+          mode: recreate