From 2f61c107796942582b631af5c8819ab4df02cbb6 Mon Sep 17 00:00:00 2001 From: Jesse Alama Date: Wed, 23 Sep 2026 09:50:22 +0200 Subject: [PATCH] ci(nightly-testing): link the failing commit in the failure message On a `workflow_run` event, `github.sha` is the head of the default branch, not the commit whose CI run failed. Use `github.event.workflow_run.head_sha` so the failure message links to the `nightly-testing` commit that actually failed, matching the run link, which already uses `workflow_run.id`. --- .github/workflows/report_failures_nightly-testing.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/report_failures_nightly-testing.yml b/.github/workflows/report_failures_nightly-testing.yml index c5a58e012..3970b5312 100644 --- a/.github/workflows/report_failures_nightly-testing.yml +++ b/.github/workflows/report_failures_nightly-testing.yml @@ -25,7 +25,7 @@ jobs: type: 'stream' topic: 'Cslib status updates' content: | - ❌ The latest CI for Cslib's [nightly-testing branch](https://github.com/leanprover/cslib/tree/nightly-testing) has [failed](https://github.com/${{ github.repository }}/actions/runs/${{ github.event.workflow_run.id }}) ([${{ github.sha }}](https://github.com/${{ github.repository }}/commit/${{ github.sha }})). + ❌ The latest CI for Cslib's [nightly-testing branch](https://github.com/leanprover/cslib/tree/nightly-testing) has [failed](https://github.com/${{ github.repository }}/actions/runs/${{ github.event.workflow_run.id }}) ([${{ github.event.workflow_run.head_sha }}](https://github.com/${{ github.repository }}/commit/${{ github.event.workflow_run.head_sha }})). You can `git fetch; git checkout nightly-testing` and push a fix. handle_success: