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
olean report (workflow_run) olean report (workflow_run) #10992: completed by mcdoll
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187637: completed by mcdoll
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200805: completed by mcdoll
Skipped
Skipped
feat(Algebra): use Is*Apply for LinearMap PR check downstream #4601: Issue comment #39638 (comment) created by mcdoll
2s
2s
feat(Algebra): use Is*Apply for LinearMap Bors merge/delegate follow-up #271316: Issue comment #39638 (comment) created by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap olean report #10991: Issue comment #39638 (comment) created by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap Label PR based on Comment #194014: Issue comment #39638 (comment) created by mcdoll
7s
7s
feat(Algebra): use Is*Apply for LinearMap bot fix style #246249: Issue comment #39638 (comment) created by mcdoll
10s
10s
feat(Algebra): use Is*Apply for LinearMap Maintainer merge #294949: Issue comment #39638 (comment) created by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap .github/workflows/zulip_emoji_labelling.yaml #64798: Pull request #39638 unlabeled by mcdoll
18s
18s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187636: completed by mcdoll
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #28475: completed by mcdoll
11s
11s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187635: completed by mcdoll
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200804: completed by mcdoll
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200803: completed by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap splice-bot #28660: Pull request #39638 created by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap Label PR based on Comment #194013: Pull request #39638 created by mcdoll
8s
8s
feat(Algebra): use Is*Apply for LinearMap Maintainer merge #294948: Pull request #39638 created by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap bot fix style #246248: Pull request #39638 created by mcdoll
11s
11s
feat(Algebra): use Is*Apply for LinearMap Bors merge/delegate follow-up #271315: Pull request #39638 created by mcdoll
2s
2s
feat(Algebra): use Is*Apply for LinearMap bot fix style #246247: Pull request #39638 submitted by mcdoll
10s
10s
feat(Algebra): use Is*Apply for LinearMap Bors merge/delegate follow-up #271314: Pull request #39638 submitted by mcdoll
6s
6s
feat(Algebra): use Is*Apply for LinearMap Maintainer merge #294947: Pull request #39638 submitted by mcdoll
1s
1s
feat(Algebra): use Is*Apply for LinearMap Label PR based on Comment #194012: Pull request #39638 submitted by mcdoll
5s
5s
Declarations diff (post-build) Declarations diff (post-build) #7091: completed by bryangingechen
51s
51s