fix URL

pantsbuild · Nov 4, 2024 · 6b4f1f6 · 6b4f1f6
1 parent e01d0d4
commit 6b4f1f6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/sync_docs.yml b/.github/workflows/sync_docs.yml
@@ -121,7 +121,8 @@ jobs:
         run: |
           {
             echo
-            echo "The sync_docs job failed part way through and may need debugging: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}/job/${{ github.job }}"
+            # (would be nice if there was a way to link to this job directly, but the required ID doesn't seem to be available via the context objects)
+            echo "The sync_docs job failed part way through and may need debugging: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}"
             echo
             echo "Note: to retry the job, first close this PR and delete its branch."
           } >> body.md