Workflow runs · jjdishere/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
- Bench output summary Bench output summary
- bot fix style bot fix style
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
- Close stale issues and PRs Close stale issues and PRs
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

12,209 workflow runs

12,209 workflow runs

Merge conflicts Merge conflicts #9688: Scheduled

1s master

master

1s

Merge master to nightly Merge master to nightly #890: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9687: Scheduled

6s master

master

6s

Merge conflicts Merge conflicts #9686: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9685: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9684: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #9683: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9682: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #9681: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9680: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9679: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9678: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9677: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9676: Scheduled

2s master

master

2s

Merge conflicts Merge conflicts #9675: Scheduled

1s master

master

1s

Merge master to nightly Merge master to nightly #889: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #9674: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #9673: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9672: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #9671: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9670: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9669: Scheduled

1s master

master

1s

automatically assign reviewers automatically assign reviewers #42: Scheduled

10s master

master

10s

Merge master to nightly Merge master to nightly #888: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #9668: Scheduled

1s master

master

1s