Skip to content

Actions: JX-Mo/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
Update Mathlib Dependencies Update Mathlib Dependencies #616: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #547: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #868: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #750: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #867: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #202: Scheduled
11s master
master
11s
Update Mathlib Dependencies Update Mathlib Dependencies #615: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #546: Scheduled
8s master
master
8s
Merge conflicts Merge conflicts #749: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #866: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #614: Scheduled
9s master
master
9s
Zulip emoji reconcile Zulip emoji reconcile #545: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #748: Scheduled
9s master
master
9s
Dependent Issues Dependent Issues #865: Scheduled
8s master
master
8s
Update Mathlib Dependencies Update Mathlib Dependencies #613: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #864: Scheduled
10s master
master
10s
Zulip emoji reconcile Zulip emoji reconcile #544: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #747: Scheduled
1s master
master
1s
Zulip emoji CI status Zulip emoji CI status #296: completed by JX-Mo
6s
6s
Declarations diff (post-build) Declarations diff (post-build) #148: completed by JX-Mo
7s
7s
Export workflow telemetry Export workflow telemetry #148: completed by JX-Mo
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #148: completed by JX-Mo
7s
7s
Zulip emoji CI status Zulip emoji CI status #295: requested by JX-Mo
4s
4s
fix typo continuous integration #148: Commit 461c8cd pushed by JX-Mo
3s HeckeModule
HeckeModule
3s
fix typo Run pre-commit and in-place update PR on push #142: Commit 461c8cd pushed by JX-Mo
31s HeckeModule
HeckeModule
31s