Skip to content

Actions: j-loreaux/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
Close stale issues and PRs Close stale issues and PRs #391: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24925: Scheduled
10s master
master
10s
Merge conflicts Merge conflicts #26482: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #8848: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #3122: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26481: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24924: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #8847: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #391: Scheduled
9s master
master
9s
docker docker #391: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26480: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24923: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26479: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24922: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8846: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26478: Scheduled
Skipped master
master
Skipped
Dependent Issues Dependent Issues #24921: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26477: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24920: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8845: Scheduled
8s master
master
8s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1952: Scheduled
10s master
master
10s
Merge conflicts Merge conflicts #26476: Scheduled
10s master
master
10s
Dependent Issues Dependent Issues #24919: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #3121: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #26475: Scheduled
1s master
master
1s