Skip to content

Actions: leanprover/lean4

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
Grove Grove #18728: completed by github-merge-queue bot
1m 40s
1m 40s
PR release PR release #47238: completed by github-merge-queue bot
1s
1s
PR release PR release #47237: completed by Kha
2s
2s
Grove Grove #18727: completed by Kha
16s
16s
chore: don't fail on running build bench on built stage3 Backport #19040: Pull request #13467 closed by Kha
8s
8s
chore: don't fail on running build bench on built stage3 (#13467) CI #56107: Commit 80cbab1 pushed by github-merge-queue bot
52m 24s master
master
52m 24s
chore: don't fail on running build bench on built stage3 (#13467) Actionlint #9458: Commit 80cbab1 pushed by github-merge-queue bot
58s master
master
58s
chore: don't fail on running build bench on built stage3 (#13467) Update stage0 #7981: Commit 80cbab1 pushed by github-merge-queue bot
58s master
master
58s
chore: don't fail on running build bench on built stage3 Label PR based on Comment #25302: Issue comment #13467 (comment) created by leanprover-bot
1s
1s
chore: don't fail on running build bench on built stage3 Label PR based on Comment #25301: Issue comment #13467 (comment) created by mathlib-lean-pr-testing bot
1s
1s
Grove Grove #18726: completed by github-merge-queue bot
1m 16s
1m 16s
PR release PR release #47236: completed by github-merge-queue bot
1s
1s
CI CI #56106: Merge group checks requested
21m 42s
21m 42s
Check PR title for commit convention Check PR title for commit convention #41417: Merge group checks requested
5s
5s
Actionlint Actionlint #9457: Merge group checks requested
55s
55s
Check for empty PR Check for empty PR #1297: Merge group checks requested
1m 31s
1m 31s
Check PR body for changelog convention Check PR body for changelog convention #39626: Merge group checks requested
6s
6s
Check for stage0 changes Check for stage0 changes #32039: Merge group checks requested
1m 33s
1m 33s
Check awaiting-manual label Check awaiting-manual label #19536: Merge group checks requested
4s
4s
Check awaiting-mathlib label Check awaiting-mathlib label #27206: Merge group checks requested
7s
7s
Grove Grove #18725: completed by Kha
13s
13s
PR release PR release #47235: completed by Kha
14m 7s
14m 7s
feat: add tryRecv and hasPendingData to TCP to speed up recvSelector.tryFn Label PR based on Comment #25300: Issue comment #13466 (comment) created by leanprover-bot
1s
1s
feat: add tryRecv and hasPendingData to TCP to speed up recvSelector.tryFn Label PR based on Comment #25299: Issue comment #13466 (comment) created by mathlib-lean-pr-testing bot
1s
1s
feat: equational lemmas are only [defeq] when so at .instance transparency Label PR based on Comment #25298: Issue comment #13330 (comment) created by mathlib-lean-pr-testing bot
1s
1s