Workflow runs · Timeroot/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
- 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
- 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,862 workflow runs

14,862 workflow runs

Update Mathlib Dependencies Update Mathlib Dependencies #2213: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5198: Scheduled

Skipped master

master

Skipped

Dependent Issues Dependent Issues #5374: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5197: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5373: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5196: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5372: Scheduled

2s master

master

2s

Update Mathlib Dependencies Update Mathlib Dependencies #2212: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5195: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5371: Scheduled

1s master

master

1s

Merge master to nightly Merge master to nightly #803: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5194: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5370: Scheduled

Skipped master

master

Skipped

Update Mathlib Dependencies Update Mathlib Dependencies #2211: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5193: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5369: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5192: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5368: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5191: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5367: Scheduled

1s master

master

1s

Update Mathlib Dependencies Update Mathlib Dependencies #2210: Scheduled

1s master

master

1s

Merge conflicts Merge conflicts #5190: Scheduled

1s master

master

1s

nightly-testing regression report nightly-testing regression report #37: Scheduled

1s master

master

1s

Dependent Issues Dependent Issues #5366: Scheduled

Skipped master

master

Skipped

Merge conflicts Merge conflicts #5189: Scheduled

1s master

master

1s