mirror of https://github.com/zulip/zulip.git
ci: Run generate-failure-message from the right path.
This was broken by commit 3a0620a40c
(#23719).
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
parent
570c9e260b
commit
8102556578
|
@ -211,7 +211,7 @@ jobs:
|
||||||
- name: Generate failure report string
|
- name: Generate failure report string
|
||||||
id: failure_report_string
|
id: failure_report_string
|
||||||
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
||||||
run: tools/ci/generate-failure-message >> $GITHUB_OUTPUT
|
run: /tmp/generate-failure-message >> $GITHUB_OUTPUT
|
||||||
|
|
||||||
- name: Report status to CZO
|
- name: Report status to CZO
|
||||||
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
||||||
|
@ -296,7 +296,7 @@ jobs:
|
||||||
- name: Generate failure report string
|
- name: Generate failure report string
|
||||||
id: failure_report_string
|
id: failure_report_string
|
||||||
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
||||||
run: tools/ci/generate-failure-message >> $GITHUB_OUTPUT
|
run: /tmp/generate-failure-message >> $GITHUB_OUTPUT
|
||||||
|
|
||||||
- name: Report status to CZO
|
- name: Report status to CZO
|
||||||
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
if: ${{ failure() && github.repository == 'zulip/zulip' && github.event_name == 'push' }}
|
||||||
|
|
Loading…
Reference in New Issue