Skip to content

Actions: leanprover-community/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
Dependent Issues Dependent Issues #114255: Scheduled
In progress master
master
In progress
Declarations diff (post-build) Declarations diff (post-build) #20361: completed by mathlib-update-dependencies Bot
44s
44s
Monitor Dependency Update Failures Monitor Dependency Update Failures #10749: completed by mathlib-update-dependencies Bot
22s
22s
Zulip emoji reconcile Zulip emoji reconcile #11580: completed by mathlib-update-dependencies Bot
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #173097: completed by mathlib-update-dependencies Bot
2s
2s
Export workflow telemetry Export workflow telemetry #65703: completed by mathlib-update-dependencies Bot
10s
10s
Export workflow telemetry Export workflow telemetry #65702: completed by RemyDegenne
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #20360: completed by RemyDegenne
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #11579: completed by RemyDegenne
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #226791: completed by ADedecker
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #20359: completed by seewoo5
2s
2s
Export workflow telemetry Export workflow telemetry #65701: completed by seewoo5
10s
10s
Zulip emoji reconcile Zulip emoji reconcile #11578: completed by seewoo5
17s
17s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #211623: completed by ADedecker
1s
1s
olean report (workflow_run) olean report (workflow_run) #19058: completed by ADedecker
1s
1s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A bot fix style #272333: Issue comment #42779 (comment) created by ADedecker
10s
10s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A Bors merge/delegate follow-up #295395: Issue comment #42779 (comment) created by ADedecker
1s
1s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A PR check downstream #12669: Issue comment #42779 (comment) created by ADedecker
1s
1s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A olean report #19059: Issue comment #42779 (comment) created by ADedecker
1s
1s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A Maintainer merge #321032: Issue comment #42779 (comment) created by ADedecker
7s
7s
feat: geometric series in WithLp 1 (Unitization π•œ A) are summable if they are in A Label PR based on Comment #218093: Issue comment #42779 (comment) created by ADedecker
8s
8s
Zulip emoji reconcile Zulip emoji reconcile #11577: completed by lua-vr
12s
12s
Export workflow telemetry Export workflow telemetry #65700: completed by lua-vr
10s
10s
Declarations diff (post-build) Declarations diff (post-build) #20358: completed by lua-vr
46s
46s
Commit Verification (workflow_run) Commit Verification (workflow_run) #38148: completed by seewoo5
10s
10s