Skip to content

Actions: plp127/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
Zulip emoji reconcile Zulip emoji reconcile #984: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #4054: Scheduled
9s master
master
9s
Update Mathlib Dependencies Update Mathlib Dependencies #7143: Scheduled
9s master
master
9s
Merge conflicts Merge conflicts #4412: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #1406: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #438: Scheduled
1s master
master
1s
docker docker #450: Scheduled
1s master
master
1s
Declarations diff (post-build) Declarations diff (post-build) #399: completed by plp127
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1049: completed by plp127
1s
1s
Export workflow telemetry Export workflow telemetry #546: completed by plp127
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #983: completed by plp127
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #982: requested by plp127
2s
2s
remove continuous integration #1049: Commit 334144a pushed by plp127
1s aliu/uniformspace-comment
aliu/uniformspace-comment
1s
remove Run pre-commit and in-place update PR on push #613: Commit 334144a pushed by plp127
28s aliu/uniformspace-comment
aliu/uniformspace-comment
28s
Zulip emoji reconcile Zulip emoji reconcile #981: completed by plp127
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #398: completed by plp127
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1048: completed by plp127
8s
8s
Export workflow telemetry Export workflow telemetry #545: completed by plp127
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #980: requested by plp127
8s
8s
use rintro continuous integration #1048: Commit 381fd17 pushed by plp127
1s aliu/uniform_map
aliu/uniform_map
1s
use rintro Run pre-commit and in-place update PR on push #612: Commit 381fd17 pushed by plp127
29s aliu/uniform_map
aliu/uniform_map
29s
Zulip emoji reconcile Zulip emoji reconcile #979: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #4053: Scheduled
7s master
master
7s
Update Mathlib Dependencies Update Mathlib Dependencies #7142: Scheduled
8s master
master
8s
Merge conflicts Merge conflicts #4411: Scheduled
1s master
master
1s