.github/workflows/zulip_emoji_labelling.yaml · Workflow runs · kim-em/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/maintainer_bors.yml .github/workflows/maintainer_bors.yml
- .github/workflows/maintainer_merge.yml .github/workflows/maintainer_merge.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- automatically assign reviewers automatically assign reviewers
- bot fix style bot fix style
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
Management
- Caches

.github/workflows/zulip_emoji_labelling.yaml

Actions

Loading...
Loading

zulip_emoji_labelling.yaml

2 workflow runs

2 workflow runs

Clarify internal heartbeat conversion .github/workflows/zulip_emoji_labelling.yaml #2: Pull request #2 labeled by kim-em

1s

1s

feat: linter for stale deprecated attrs .github/workflows/zulip_emoji_labelling.yaml #1: Pull request #1 labeled by kim-em

1s

1s

⚡