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
splice-bot (workflow_run) splice-bot (workflow_run) #15166: completed by linesthatinterlace
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161680: completed by linesthatinterlace
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151538: completed by linesthatinterlace
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151537: completed by linesthatinterlace
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161679: completed by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag splice-bot #15255: Pull request #37631 created by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag Maintainer merge #255650: Pull request #37631 created by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag Label PR based on Comment #157747: Pull request #37631 created by linesthatinterlace
5s
5s
feat: add Function.prod and Function.diag Add "ready-to-merge" and "delegated" label #235049: Pull request #37631 created by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag bot fix style #206948: Pull request #37631 created by linesthatinterlace
12s
12s
feat: add Function.prod and Function.diag Add "ready-to-merge" and "delegated" label #235048: Pull request #37631 submitted by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag Maintainer merge #255649: Pull request #37631 submitted by linesthatinterlace
1s
1s
feat: add Function.prod and Function.diag bot fix style #206947: Pull request #37631 submitted by linesthatinterlace
12s
12s
feat: add Function.prod and Function.diag Label PR based on Comment #157746: Pull request #37631 submitted by linesthatinterlace
7s
7s
chore(*): small docstring syntax fixes .github/workflows/zulip_emoji_labelling.yaml #53611: Pull request #38157 labeled by jcommelin
16s
16s
splice-bot (workflow_run) splice-bot (workflow_run) #15165: completed by jcommelin
Skipped
Skipped
splice-bot (workflow_run) splice-bot (workflow_run) #15164: completed by jcommelin
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151536: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161678: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161677: completed by jcommelin
2s
2s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161676: completed by jcommelin
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151535: completed by jcommelin
2s
2s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151534: completed by jcommelin
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #15163: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161675: completed by jcommelin
1s
1s