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 #19670: completed by nomeata
11s
11s
PR release PR release #48180: completed by nomeata
8m 16s
8m 16s
feat: empty by runs try? to suggest a proof Check PR body for changelog convention #40912: Pull request #13430 edited by nomeata
7s
7s
feat: empty by runs try? to suggest a proof Check PR title for commit convention #42320: Pull request #13430 edited by nomeata
8s joachim/try-on-empty-by
joachim/try-on-empty-by
8s
feat: empty by runs try? to suggest a proof CI #56979: Pull request #13430 synchronize by nomeata
36m 33s joachim/try-on-empty-by
joachim/try-on-empty-by
36m 33s
feat: empty by runs try? to suggest a proof Check for copyright header #26549: Pull request #13430 synchronize by nomeata
1m 7s joachim/try-on-empty-by
joachim/try-on-empty-by
1m 7s
feat: empty by runs try? to suggest a proof Check PR title for commit convention #42319: Pull request #13430 synchronize by nomeata
7s joachim/try-on-empty-by
joachim/try-on-empty-by
7s
feat: empty by runs try? to suggest a proof Check for modules that should use `prelude` #26394: Pull request #13430 synchronize by nomeata
17s joachim/try-on-empty-by
joachim/try-on-empty-by
17s
feat: empty by runs try? to suggest a proof Check for empty PR #2014: Pull request #13430 synchronize by nomeata
1m 5s joachim/try-on-empty-by
joachim/try-on-empty-by
1m 5s
feat: empty by runs try? to suggest a proof Check for stage0 changes #32756: Pull request #13430 synchronize by nomeata
1m 6s joachim/try-on-empty-by
joachim/try-on-empty-by
1m 6s
feat: empty by runs try? to suggest a proof Check awaiting-manual label #20618: Pull request #13430 synchronize by nomeata
5s
5s
feat: empty by runs try? to suggest a proof Check awaiting-mathlib label #28288: Pull request #13430 synchronize by nomeata
7s
7s
feat: empty by runs try? to suggest a proof Check PR body for changelog convention #40911: Pull request #13430 synchronize by nomeata
8s
8s
feat: empty by runs try? to suggest a proof Check stdlib_flags.h modifications #7961: Pull request #13430 synchronize by nomeata
7s
7s
PR release PR release #48179: completed by Kha
1s
1s
Grove Grove #19669: completed by Kha
1m 24s
1m 24s
PR release PR release #48178: completed by github-merge-queue Bot
1s
1s
Grove Grove #19668: completed by github-merge-queue Bot
1s
1s
chore: update stage0 CI #56978: Commit 0eb80e3 pushed by Kha
52m 47s master
master
52m 47s
chore: update stage0 Update stage0 #8117: Commit 0eb80e3 pushed by Kha
1m 2s master
master
1m 2s
Grove Grove #19667: completed by Kha
17s
17s
PR release PR release #48177: completed by Kha
1s
1s
Grove Grove #19666: completed by github-merge-queue Bot
1s
1s
PR release PR release #48176: completed by github-merge-queue Bot
1s
1s
chore: add missing noexcepts Backport #19472: Pull request #13370 closed by Kha
8s
8s