Skip to content

Actions: jiangf13/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
Remove unnecessary set_option lines Remove unnecessary set_option lines #3: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #304: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #307: Scheduled
11s master
master
11s
Update Mathlib Dependencies Update Mathlib Dependencies #213: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #236: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #303: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #306: Scheduled
7s master
master
7s
Update Mathlib Dependencies Update Mathlib Dependencies #212: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #302: Scheduled
11s master
master
11s
Dependent Issues Dependent Issues #305: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #101: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #235: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #301: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #304: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #211: Scheduled
8s master
master
8s
Merge conflicts Merge conflicts #300: Scheduled
6s master
master
6s
Dependent Issues Dependent Issues #303: Scheduled
8s master
master
8s
Zulip emoji reconcile Zulip emoji reconcile #234: Scheduled
10s master
master
10s
shake shake #3: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #210: Scheduled
7s master
master
7s
Merge conflicts Merge conflicts #299: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #302: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #233: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #298: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #301: Scheduled
2s master
master
2s
ProTip! You can narrow down the results and go further in time using created:<2026-08-09 or the other filters available.