Workflow runs · CoolRmal/mathlib4 · GitHub

Repository navigation

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Autolabel PRs Autolabel PRs
- Bors merge/delegate follow-up Bors merge/delegate follow-up
- Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run)
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- cache tests cache tests
- Check PR titles Check PR titles
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

Daily CI Workflow Daily CI Workflow #438: Scheduled

7s main

main

7s

docker docker #437: Scheduled

6s main

main

6s

Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #1059: Scheduled

1s main

main

1s

Update Mathlib Dependencies Update Mathlib Dependencies #7107: Scheduled

Skipped main

main

Skipped

Dependent Issues Dependent Issues #13783: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #13836: Scheduled

1s main

main

1s

Update Mathlib Dependencies Update Mathlib Dependencies #7106: Scheduled

1s main

main

1s

Daily master tag Daily master tag #127: Scheduled

1s main

main

1s

Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #1058: Scheduled

1s main

main

1s

Dependent Issues Dependent Issues #13782: Scheduled

8s main

main

8s

Merge conflicts Merge conflicts #13835: Scheduled

1s main

main

1s

Lake cache shadow (master) Lake cache shadow (master) #127: Scheduled

1s main

main

1s

Weekly linting report Weekly linting report #49: Scheduled

11s main

main

11s

Update Mathlib Dependencies Update Mathlib Dependencies #7105: Scheduled

Skipped main

main

Skipped

Weekly Long File Report Weekly Long File Report #63: Scheduled

1s main

main

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #63: Scheduled

1s main

main

1s

Late importers report Late importers report #63: Scheduled

1s main

main

1s

Dependent Issues Dependent Issues #13781: Scheduled

2s main

main

2s

Merge conflicts Merge conflicts #13834: Scheduled

7s main

main

7s

Merge master to nightly Merge master to nightly #1220: Scheduled

2s main

main

2s

Daily CI Workflow Daily CI Workflow #437: Scheduled

9s main

main

9s

Update Mathlib Dependencies Update Mathlib Dependencies #7104: Scheduled

8s main

main

8s

docker docker #436: Scheduled

7s main

main

7s

Remove unnecessary set_option lines Remove unnecessary set_option lines #19: Scheduled

1s main

main

1s

Dependent Issues Dependent Issues #13780: Scheduled

1s main

main

1s