.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - chore(WithBot): rename `unbot'` to `unbotD` #7415

Sign in to view logs

Summary
Jobs
- set_pr_emoji
Run details
- Usage
- Workflow file

Triggered via pull request February 13, 2025 06:53

leanprover-community-bot-assistant

unlabeled #21532

YK-unbotD

Status Skipped

Total duration 1s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request