Skip to content

Commit 9c51fb9

Browse files
ci: fix delegated reaction being triggered by bors failure message (leanprover-community#29612)
Follow-up to leanprover-community#29606. The reaction script step was being skipped because bors was not counted as a bot: cf. [log](https://github.com/leanprover-community/mathlib4/actions/runs/17690687974/job/50283460700#step:2:102).
1 parent 655a116 commit 9c51fb9

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

.github/workflows/maintainer_bors.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,8 @@ jobs:
5757
printf $'mOrD=%s\n' "${m_or_d}" >> "${GITHUB_OUTPUT}"
5858
printf $'removeLabels=%s\n' "${remove_labels}" >> "${GITHUB_OUTPUT}"
5959
if [ "${AUTHOR}" == 'leanprover-community-mathlib4-bot' ] ||
60-
[ "${AUTHOR}" == 'leanprover-community-bot-assistant' ]
60+
[ "${AUTHOR}" == 'leanprover-community-bot-assistant' ] ||
61+
[ "${AUTHOR}" == 'mathlib-bors[bot]' ]
6162
then
6263
printf $'bot=true\n'
6364
printf $'bot=true\n' >> "${GITHUB_OUTPUT}"

0 commit comments

Comments
 (0)