From 6ef2d9bd15b72c8c539b320995f071df47c52f1d Mon Sep 17 00:00:00 2001
From: Johanan Idicula <git@johanan.dev>
Date: Wed, 15 Mar 2023 17:43:59 -0400
Subject: [PATCH] Use `github.server_url` property

Instead of hardcoding the GitHub URL, instead pull in the server URL from the `github` object.
---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index 7aec3f1..26fe4d0 100644
--- a/action.yml
+++ b/action.yml
@@ -47,6 +47,6 @@ runs:
     - name: Report failure in job summary
       if: failure()
       run: |
-        DEEPLINK="https://github.com/${{ github.repository }}/commit/${{ env.SHA }}"
+        DEEPLINK="${{ github.server_url }}/${{ github.repository }}/commit/${{ env.SHA }}"
         echo -e "Format check failed on commit [${GITHUB_SHA:0:8}]($DEEPLINK) with files:\n$(<$GITHUB_WORKSPACE/failing-files.txt)" >> $GITHUB_STEP_SUMMARY
       shell: bash