.github/workflows/zulip_emoji_maintainer_merge.yaml · Workflow runs · leanprover-community/mathlib4 · GitHub

Actions

All workflows
Workflows
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Weekly Technical Debt Counters Weekly Technical Debt Counters
- .github/workflows/debug_ci.yaml .github/workflows/debug_ci.yaml
- .github/workflows/test_long_file_report.yml .github/workflows/test_long_file_report.yml
- .github/workflows/zulip_emoji_awaiting_author.yaml .github/workflows/zulip_emoji_awaiting_author.yaml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- .github/workflows/zulip_emoji_maintainer_merge.yaml .github/workflows/zulip_emoji_maintainer_merge.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
Management
- Caches

.github/workflows/zulip_emoji_maintainer_merge.yaml

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

[Merged by Bors] - refactor(zulip-emoji-merge-delegate.py): consolidate repeated logic .github/workflows/zulip_emoji_maintainer_merge.yaml #3: Pull request #24545 labeled by mathlib4-dependent-issues-bot

2s MR-dedup-emoji-merge-delegate

MR-dedup-emoji-merge-delegate

2s

[Merged by Bors] - refactor(zulip-emoji-merge-delegate.py): consolidate repeated logic .github/workflows/zulip_emoji_maintainer_merge.yaml #2: Pull request #24545 labeled by grunweg

2s MR-dedup-emoji-merge-delegate

MR-dedup-emoji-merge-delegate

2s

[Merged by Bors] - feat(CI): add emoji to maintainer merge'd PRs also .github/workflows/zulip_emoji_maintainer_merge.yaml #1: Pull request #24544 labeled by grunweg

2s MR-mm-emoji

MR-mm-emoji

2s