Skip to content

Actions: Stars1233/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
GitHub Actions is currently disabled for this repository. Please reach out to GitHub Support for assistance.
26,751 workflow runs
26,751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Mathlib Dependencies Update Mathlib Dependencies #2995: Scheduled
1m 19s master
master
1m 19s
Dependent Issues Dependent Issues #7926: Scheduled
12m 19s master
master
12m 19s
Merge conflicts Merge conflicts #8534: Scheduled
10m 43s master
master
10m 43s
Dependent Issues Dependent Issues #7925: Scheduled
12m 37s master
master
12m 37s
Merge conflicts Merge conflicts #8533: Scheduled
3m 49s master
master
3m 49s
Update Mathlib Dependencies Update Mathlib Dependencies #2994: Scheduled
2m 41s master
master
2m 41s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #666: Scheduled
3m 27s master
master
3m 27s
Dependent Issues Dependent Issues #7924: Scheduled
42s master
master
42s
Merge conflicts Merge conflicts #8532: Scheduled
1m 20s master
master
1m 20s
Dependent Issues Dependent Issues #7923: Scheduled
8m 58s master
master
8m 58s
Merge conflicts Merge conflicts #8531: Scheduled
9m 46s master
master
9m 46s
Merge master to nightly Merge master to nightly #1064: Scheduled
11m 58s master
master
11m 58s
Dependent Issues Dependent Issues #7922: Scheduled
25m 47s master
master
25m 47s
Merge conflicts Merge conflicts #8530: Scheduled
27m 27s master
master
27m 27s
Build Status Check Build Status Check #552: completed by mathlib-bors bot
19m 42s
19m 42s
Update Mathlib Dependencies Update Mathlib Dependencies #2993: Scheduled
26m 14s master
master
26m 14s
Dependent Issues Dependent Issues #7921: Scheduled
47m 53s master
master
47m 53s
Merge conflicts Merge conflicts #8529: Scheduled
48m 48s master
master
48m 48s
Dependent Issues Dependent Issues #7920: Scheduled
33m 36s master
master
33m 36s
Merge conflicts Merge conflicts #8528: Scheduled
55m 56s master
master
55m 56s
[pull] master from leanprover-community:master Post PR summary comment #2772: Pull request #102 synchronize by mathlib-bors bot
56m 38s
56m 38s
[pull] master from leanprover-community:master Label New Contributors #2772: Pull request #102 synchronize by mathlib-bors bot
1s
1s
[pull] master from leanprover-community:master continuous integration (mathlib forks) #652: Pull request #102 synchronize by mathlib-bors bot
57m 54s
57m 54s
Dependent Issues Dependent Issues #7919: Scheduled
56m 29s master
master
56m 29s
Merge conflicts Merge conflicts #8527: Scheduled
57m 50s master
master
57m 50s