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
Dependent Issues Dependent Issues #4227: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #4589: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7301: Scheduled
7s master
master
7s
Zulip emoji reconcile Zulip emoji reconcile #1420: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #4226: Scheduled
9s master
master
9s
Bump toolchain Bump toolchain #1239: Scheduled
2s master
master
2s
Daily master tag Daily master tag #210: Scheduled
7s master
master
7s
Merge conflicts Merge conflicts #4588: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #7300: Scheduled
Skipped master
master
Skipped
Zulip emoji reconcile Zulip emoji reconcile #1419: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #4225: Scheduled
1s master
master
1s
Lake cache shadow (master) Lake cache shadow (master) #123: Scheduled
2s master
master
2s
Export workflow telemetry Export workflow telemetry #687: completed by plp127
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #540: completed by plp127
10s
10s
Zulip emoji reconcile Zulip emoji reconcile #1418: 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. #1190: completed by plp127
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #1417: requested by plp127
1s
1s
Merge branch 'master' into aliu/mvpolynomial-monad continuous integration #1190: Commit 0752a03 pushed by plp127
2s aliu/mvpolynomial-monad
aliu/mvpolynomial-monad
2s
Merge branch 'master' into aliu/mvpolynomial-monad Run pre-commit and in-place update PR on push #721: Commit 0752a03 pushed by plp127
24s aliu/mvpolynomial-monad
aliu/mvpolynomial-monad
24s
Zulip emoji reconcile Zulip emoji reconcile #1416: 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. #1189: completed by plp127
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #539: completed by plp127
1s
1s
Export workflow telemetry Export workflow telemetry #686: completed by plp127
Skipped
Skipped
Zulip emoji reconcile Zulip emoji reconcile #1415: requested by plp127
1s
1s
Merge branch 'master' into aliu/generalize-germ-product continuous integration #1189: Commit 1dc1496 pushed by plp127
2s aliu/generalize-germ-product
aliu/generalize-germ-product
2s