Check workflows · Workflow runs · adomani/mathlib4 · GitHub

Actions

All workflows
Workflows
- .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 Add "ready-to-merge" and "delegated" label
- 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
- Check PR titles Check PR titles
- Check workflows Check workflows
Management
- Caches

Check workflows

Actions

Loading...
Loading

1 workflow run

1 workflow run

rename Check workflows #1: Pull request #2 synchronize by adomani

23s test/actions

test/actions

23s