Add a comment with preview URLs to pull requests.

Signed-off-by: Felipe Sayão Lobato Abreu <github@mentordosnerds.com>

Author: coisa

.github/workflows/reports.yml

@@ -10,6 +10,7 @@ on:
 
 permissions:
     contents: write
+    pull-requests: write
 
 concurrency:
     group: "pages"
@@ -105,6 +106,17 @@ jobs:
                 keep_files: false
                 force_orphan: false
 
+            - name: Comment preview URLs on pull request
+              if: github.event_name == 'pull_request'
+              uses: marocchino/sticky-pull-request-comment@v2
+              with:
+                header: pr-preview
+                message: |
+                  🚀 Preview is available for this pull request.
+
+                  - Docs: https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/previews/pr-${{ github.event.pull_request.number }}/
+                  - Coverage: https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/previews/pr-${{ github.event.pull_request.number }}/coverage/
+
     cleanup_preview:
         if: github.event_name == 'pull_request' && github.event.action == 'closed'
         name: Cleanup Pull Request Preview