Workflow runs · SuccessMoses/mathlib4 · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

Weekly linting report Weekly linting report #14: Scheduled

1s

Late importers report Late importers report #14: Scheduled

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #14: Scheduled

Skippedmaster

Skipped

Weekly Long File Report Weekly Long File Report #14: Scheduled

1s

Remove outdated deprecated declarations Remove outdated deprecated declarations #3: Scheduled

1s

update nolints update nolints #14: Scheduled

1s

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

2s

Docgen test on nightly-testing Docgen test on nightly-testing #91: Scheduled

1s

automatically assign reviewers automatically assign reviewers #91: Scheduled

1s

Merge master to nightly Merge master to nightly #91: Scheduled

1s

docker docker #91: Scheduled

1s

Daily CI Workflow Daily CI Workflow #92: Scheduled

1s

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

2s

Update Mathlib Dependencies Update Mathlib Dependencies #1875: Scheduled

1s

Merge conflicts Merge conflicts #4626: Scheduled

1s

Dependent Issues Dependent Issues #5018: Scheduled

2s

Merge conflicts Merge conflicts #4625: Scheduled

1s

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

1s

Update Mathlib Dependencies Update Mathlib Dependencies #1874: Scheduled

1s

Dependent Issues Dependent Issues #5017: Scheduled

1s

Merge conflicts Merge conflicts #4624: Scheduled

1s

Update Mathlib Dependencies Update Mathlib Dependencies #1873: Scheduled

1s

Dependent Issues Dependent Issues #5016: Scheduled

2s

Merge conflicts Merge conflicts #4623: Scheduled

1s

Dependent Issues Dependent Issues #5015: Scheduled

1s