Skip to content
Back to pull request #27570

[Merged by Bors] - fix: do not remove reactions if the corresponding label is still present on the PR #12169

Sign in to view logs

[Merged by Bors] - fix: do not remove reactions if the corresponding label is still present on the PR

[Merged by Bors] - fix: do not remove reactions if the corresponding label is still present on the PR #12169

Triggered via pull request August 8, 2025 01:54
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
labeled #27570
Status Skipped
Total duration 1s
Artifacts –

zulip_emoji_labelling.yaml

on: pull_request_target
set_pr_emoji
set_pr_emoji
Fit to window
Zoom out
Zoom in