Skip to content

Actions: luigi-massacci/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 #5901: 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. #571: completed by luigi-massacci
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #1014: completed by luigi-massacci
8s
8s
Export workflow telemetry Export workflow telemetry #187: completed by luigi-massacci
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #184: completed by luigi-massacci
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #1013: requested by luigi-massacci
1s
1s
feedback from @mcdoll continuous integration #572: Commit 8252142 pushed by luigi-massacci
3s LM_mul_distrib_III
LM_mul_distrib_III
3s
feedback from @mcdoll Run pre-commit and in-place update PR on push #503: Commit 8252142 pushed by luigi-massacci
26s LM_mul_distrib_III
LM_mul_distrib_III
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #570: completed by luigi-massacci
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #1012: completed by luigi-massacci
1s
1s
Export workflow telemetry Export workflow telemetry #186: completed by luigi-massacci
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #183: completed by luigi-massacci
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #1011: requested by luigi-massacci
2s
2s
Apply suggestion from @mcdoll continuous integration #571: Commit c1526de pushed by luigi-massacci
3s LM_mul_distrib_III
LM_mul_distrib_III
3s
Apply suggestion from @mcdoll Run pre-commit and in-place update PR on push #502: Commit c1526de pushed by luigi-massacci
38s LM_mul_distrib_III
LM_mul_distrib_III
38s
Dependent Issues Dependent Issues #12766: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #1010: completed by luigi-massacci
2s
2s
Declarations diff (post-build) Declarations diff (post-build) #182: completed by luigi-massacci
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #569: completed by luigi-massacci
1s
1s
Export workflow telemetry Export workflow telemetry #185: completed by luigi-massacci
2s
2s
Zulip emoji reconcile Zulip emoji reconcile #1009: requested by luigi-massacci
1s
1s
merge fixes continuous integration #570: Commit 6519ae5 pushed by luigi-massacci
1s LM_mul_distrib_III
LM_mul_distrib_III
1s
merge fixes Run pre-commit and in-place update PR on push #501: Commit 6519ae5 pushed by luigi-massacci
49s LM_mul_distrib_III
LM_mul_distrib_III
49s
Lake cache shadow (master) Lake cache shadow (master) #109: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #1008: Scheduled
Skipped master
master
Skipped