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
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152208: completed by ocfnash
In progress
In progress
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162404: completed by ocfnash
2s
2s
doc: typo in docstring for alternatingMapToDual Add "ready-to-merge" and "delegated" label #235719: Issue comment #37960 (comment) created by ocfnash
11s
11s
doc: typo in docstring for alternatingMapToDual bot fix style #207672: Issue comment #37960 (comment) created by ocfnash
11s
11s
doc: typo in docstring for alternatingMapToDual Label PR based on Comment #158417: Issue comment #37960 (comment) created by ocfnash
6s
6s
doc: typo in docstring for alternatingMapToDual Maintainer merge #256374: Issue comment #37960 (comment) created by ocfnash
1s
1s
Zulip emoji CI status Zulip emoji CI status #46912: completed by chrisflav
14s
14s
Export workflow telemetry Export workflow telemetry #30309: completed by chrisflav
10s
10s
feat(Data/Set/Function): make mapsTo_univ a simp lemma .github/workflows/zulip_emoji_labelling.yaml #53797: Pull request #38287 labeled by mathlib-triage bot
2s
2s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152207: completed by ocfnash
20s
20s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162403: completed by ocfnash
1s
1s
feat(Data/Set/Function): make mapsTo_univ a simp lemma Label PR based on Comment #158416: Pull request #38287 submitted by ocfnash
6s
6s
feat(Data/Set/Function): make mapsTo_univ a simp lemma Maintainer merge #256373: Pull request #38287 submitted by ocfnash
1s
1s
feat(Data/Set/Function): make mapsTo_univ a simp lemma bot fix style #207671: Pull request #38287 submitted by ocfnash
11s
11s
feat(Data/Set/Function): make mapsTo_univ a simp lemma Add "ready-to-merge" and "delegated" label #235718: Pull request #38287 submitted by ocfnash
11s
11s
refactor(Data/Nat/Choose/Multinomial): last minute modification before merge .github/workflows/zulip_emoji_labelling.yaml #53796: Pull request #37906 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) #152206: completed by ocfnash
25s
25s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162402: completed by ocfnash
1s
1s
refactor(Data/Nat/Choose/Multinomial): last minute modification before merge Label PR based on Comment #158415: Issue comment #37906 (comment) created by ocfnash
7s
7s
refactor(Data/Nat/Choose/Multinomial): last minute modification before merge Add "ready-to-merge" and "delegated" label #235717: Issue comment #37906 (comment) created by ocfnash
9s
9s
refactor(Data/Nat/Choose/Multinomial): last minute modification before merge Maintainer merge #256372: Issue comment #37906 (comment) created by ocfnash
1s
1s
refactor(Data/Nat/Choose/Multinomial): last minute modification before merge bot fix style #207670: Issue comment #37906 (comment) created by ocfnash
14s
14s
chore(Algebra): remove some broken dot notation porting notes .github/workflows/zulip_emoji_labelling.yaml #53795: Pull request #38217 labeled by mathlib-triage bot
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #8526: completed by chrisflav
7s
7s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152205: completed by ocfnash
29s
29s