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 #110087: Scheduled
In progress master
master
In progress
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #157321: completed by mcdoll
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #17275: completed by mcdoll
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #167985: completed by mcdoll
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #157320: completed by mcdoll
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #167984: completed by mcdoll
1s
1s
feat(Dynamics/BirkhoffSum): birkhoffAverage const splice-bot #17364: Pull request #35402 created by mcdoll
1s
1s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Label PR based on Comment #163530: Pull request #35402 created by mcdoll
7s
7s
feat(Dynamics/BirkhoffSum): birkhoffAverage const bot fix style #213253: Pull request #35402 created by mcdoll
20s
20s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Maintainer merge #261955: Pull request #35402 created by mcdoll
1s
1s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Add "ready-to-merge" and "delegated" label #240832: Pull request #35402 created by mcdoll
1s
1s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Add "ready-to-merge" and "delegated" label #240831: Pull request #35402 submitted by mcdoll
10s
10s
feat(Dynamics/BirkhoffSum): birkhoffAverage const bot fix style #213252: Pull request #35402 submitted by mcdoll
8s
8s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Label PR based on Comment #163529: Pull request #35402 submitted by mcdoll
7s
7s
feat(Dynamics/BirkhoffSum): birkhoffAverage const Maintainer merge #261954: Pull request #35402 submitted by mcdoll
1s
1s
Zulip emoji CI status Zulip emoji CI status #52275: completed by eric-wieser
17s
17s
Export workflow telemetry Export workflow telemetry #33208: completed by eric-wieser
6s
6s
feat(Combinatorics/Graph): map on Graph .github/workflows/zulip_emoji_labelling.yaml #55474: Pull request #37868 unlabeled by mathlib-triage Bot
18s
18s
feat(Combinatorics/Graph): map on Graph .github/workflows/zulip_emoji_labelling.yaml #55473: Pull request #37868 labeled by mathlib-triage Bot
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #157319: completed by b-mehta
29s
29s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #167983: completed by b-mehta
1s
1s
olean report (workflow_run) olean report (workflow_run) #617: completed by b-mehta
1s
1s
feat(Combinatorics/Graph): map on Graph Maintainer merge #261953: Issue comment #37868 (comment) created by b-mehta
1s
1s
feat(Combinatorics/Graph): map on Graph bot fix style #213251: Issue comment #37868 (comment) created by b-mehta
9s
9s
feat(Combinatorics/Graph): map on Graph olean report #617: Issue comment #37868 (comment) created by b-mehta
1s
1s