From b8d261e9bafe1377c9a68f01e9af79bed3371b39 Mon Sep 17 00:00:00 2001
From: Karol Gugala <kgugala@antmicro.com>
Date: Wed, 8 Jan 2025 20:02:54 +0100
Subject: [PATCH] CI: improve PR comment

---
 .github/workflows/gh-pages-pr-comment.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages-pr-comment.yml b/.github/workflows/gh-pages-pr-comment.yml
index 2f4028c1f6d..73ff0aeea39 100644
--- a/.github/workflows/gh-pages-pr-comment.yml
+++ b/.github/workflows/gh-pages-pr-comment.yml
@@ -38,5 +38,5 @@ jobs:
               issue_number: ${{ steps.PR.outputs.number }},
               owner: context.repo.owner,
               repo: context.repo.repo,
-              body: 'Links to coverage and verification reports for this PR (#${{ steps.PR.outputs.number }}) are available at ${{ env.WEB_URL }}'
+              body: 'Coverage report for this PR is available at ${{ env.WEB_URL }}/html/dev/${{ steps.PR.outputs.number }}/coverage_dashboard/all, documentation is available at ${{ env.WEB_URL }}/html/dev/${{ steps.PR.outputs.number }}/docs_rendered/html'
             })