Workflow runs · paulorauber/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- 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)
- automatically assign reviewers automatically assign reviewers
- 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
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

14,267 workflow runs

14,267 workflow runs

Update Mathlib Dependencies Update Mathlib Dependencies #2061: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5265: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5370: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5264: Scheduled

2s master

master

2s

Dependent Issues Dependent Issues #5369: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5263: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5368: Scheduled

2s master

master

2s

Update Mathlib Dependencies Update Mathlib Dependencies #2060: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5262: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5367: Scheduled

1s master

master

1s

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

1s master

master

1s

Update Mathlib Dependencies Update Mathlib Dependencies #2059: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5261: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5366: Scheduled

1s master

master

1s

Merge master to nightly Merge master to nightly #721: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5260: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5365: Scheduled

1s master

master

1s

Update Mathlib Dependencies Update Mathlib Dependencies #2058: Scheduled

4s master

master

4s

Merge conflicts Merge conflicts #5259: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5364: Scheduled

2s master

master

2s

Merge conflicts Merge conflicts #5258: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5363: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5257: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5362: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #5256: Scheduled

2s master

master

2s