Skip to content

Actions: artie2000/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
Workflows are not currently being run on this fork due to the scale of GitHub Actions usage. A repository maintainer can choose to re-enable these.
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Dependent Issues Dependent Issues #17424: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #8145: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #16445: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #3499: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #975: completed by artie2000
1s
1s
fix continuous integration #976: Commit c6d059c pushed by artie2000
1s roots_eq_zero
roots_eq_zero
1s
fix Run pre-commit and in-place update PR on push #763: Commit c6d059c pushed by artie2000
29s roots_eq_zero
roots_eq_zero
29s
Dependent Issues Dependent Issues #17423: Scheduled
Skipped master
master
Skipped
Merge conflicts Merge conflicts #16444: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2319: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8144: Scheduled
8s master
master
8s
Merge master to nightly Merge master to nightly #3498: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #17422: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #16443: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8143: Scheduled
7m 21s master
master
7m 21s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #2318: Scheduled
9m 39s master
master
9m 39s
Dependent Issues Dependent Issues #17421: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #3497: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #16442: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8142: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #17420: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #493: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #16441: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #3496: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #493: Scheduled
1s master
master
1s