From 6b4f1f64693c4418bdd8265a3ec6e4a67b9169cb Mon Sep 17 00:00:00 2001 From: Huon Wilson Date: Mon, 4 Nov 2024 17:10:09 +1100 Subject: [PATCH] fix URL --- .github/workflows/sync_docs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/sync_docs.yml b/.github/workflows/sync_docs.yml index a9d4e19e..3998f13d 100644 --- 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