Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255,329 workflow runs
255,329 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add two useful lemmas about Int.ediv Check PR body for changelog convention #31497: Pull request #12019 labeled by leanprover-community-bot
10s paul/humanevup3
paul/humanevup3
10s
feat: add two useful lemmas about Int.ediv Check awaiting-mathlib label #20231: Pull request #12019 labeled by leanprover-community-bot
8s paul/humanevup3
paul/humanevup3
8s
feat: add two useful lemmas about Int.ediv Check awaiting-manual label #12561: Pull request #12019 labeled by leanprover-community-bot
15s paul/humanevup3
paul/humanevup3
15s
feat: add two useful lemmas about Int.ediv Check stdlib_flags.h modifications #1134: Pull request #12019 labeled by leanprover-community-bot
9s paul/humanevup3
paul/humanevup3
9s
feat: add two useful lemmas about Int.ediv Label PR based on Comment #20778: Issue comment #12019 (comment) created by leanprover-community-bot
1s
1s
feat: add two useful lemmas about Int.ediv Restart by label #8782: Pull request #12019 labeled by leanprover-community-bot
2s
2s
feat: add two useful lemmas about Int.ediv Backport #16262: Pull request #12019 labeled by leanprover-community-bot
2s
2s
Grove Grove #12403: completed by github-merge-queue bot
2m 38s
2m 38s
PR release PR release #40913: completed by github-merge-queue bot
2s
2s
feat: add two useful lemmas about Int.ediv Label PR based on Comment #20777: Issue comment #12019 (comment) created by leanprover-bot
1s
1s
feat: various small list/array/vector API improvements Check stdlib_flags.h modifications #1133: Pull request #12017 labeled by leanprover-community-bot
14s paul/humanevup2
paul/humanevup2
14s
feat: various small list/array/vector API improvements Check PR body for changelog convention #31496: Pull request #12017 labeled by leanprover-community-bot
13s paul/humanevup2
paul/humanevup2
13s
feat: various small list/array/vector API improvements Check awaiting-mathlib label #20230: Pull request #12017 labeled by leanprover-community-bot
8s paul/humanevup2
paul/humanevup2
8s
feat: various small list/array/vector API improvements Check awaiting-manual label #12560: Pull request #12017 labeled by leanprover-community-bot
6s paul/humanevup2
paul/humanevup2
6s
feat: various small list/array/vector API improvements Label PR based on Comment #20776: Issue comment #12017 (comment) created by leanprover-community-bot
1s
1s
feat: various small list/array/vector API improvements Restart by label #8781: Pull request #12017 labeled by leanprover-community-bot
1s
1s
feat: various small list/array/vector API improvements Backport #16261: Pull request #12017 labeled by leanprover-community-bot
1s
1s
PR release PR release #40912: completed by datokrat
11m 42s
11m 42s
Grove Grove #12402: completed by datokrat
13s
13s
feat: various small list/array/vector API improvements Label PR based on Comment #20775: Issue comment #12017 (comment) created by leanprover-bot
1s
1s
PR release PR release #40911: completed by Kha
15s
15s
Grove Grove #12401: completed by Kha
18s
18s
Grove Grove #12400: completed by datokrat
19s
19s
PR release PR release #40910: completed by datokrat
7m 59s
7m 59s
PR release PR release #40909: completed by datokrat
11m 44s
11m 44s