Workflow runs · ShreckYe/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
- Check workflows Check workflows
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

18,443 workflow runs

18,443 workflow runs

Merge conflicts Merge conflicts #6526: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7384: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6525: Scheduled

2s master

master

2s

Update Mathlib Dependencies Update Mathlib Dependencies #2106: Scheduled

1s master

master

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #450: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7383: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6524: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7382: Scheduled

2s master

master

2s

Merge conflicts Merge conflicts #6523: Scheduled

1s master

master

1s

Merge master to nightly Merge master to nightly #720: Scheduled

Skipped master

master

Skipped

Dependent Issues Dependent Issues #7381: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6522: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7380: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6521: Scheduled

2s master

master

2s

Update Mathlib Dependencies Update Mathlib Dependencies #2105: Scheduled

2s master

master

2s

Dependent Issues Dependent Issues #7379: Scheduled

2s master

master

2s

Merge conflicts Merge conflicts #6520: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7378: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6519: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7377: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6518: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #7376: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #6517: Scheduled

1s master

master

1s

Update Mathlib Dependencies Update Mathlib Dependencies #2104: Scheduled

2s master

master

2s

Dependent Issues Dependent Issues #7375: Scheduled

13s master

master

13s