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
feat: lake: empty build detection & --allow-empty Check stdlib_flags.h modifications #7141: Pull request #13500 opened by tydeu
9s
9s
feat: lake: empty build detection & --allow-empty Check PR body for changelog convention #39763: Pull request #13500 labeled by tydeu
6s
6s
feat: lake: empty build detection & --allow-empty Check stdlib_flags.h modifications #7140: Pull request #13500 labeled by tydeu
7s
7s
feat: lake: empty build detection & --allow-empty Restart by label #10736: Pull request #13500 labeled by tydeu
40s
40s
feat: lake: empty build detection & --allow-empty Backport #19097: Pull request #13500 labeled by tydeu
Skipped
Skipped
feat: lake: empty build detection & --allow-empty Check awaiting-manual label #19649: Pull request #13500 labeled by tydeu
8s
8s
feat: lake: empty build detection & --allow-empty Check stdlib_flags.h modifications #7139: Pull request #13500 labeled by tydeu
7s
7s
feat: lake: empty build detection & --allow-empty Restart by label #10735: Pull request #13500 labeled by tydeu
1s
1s
feat: lake: empty build detection & --allow-empty Check awaiting-mathlib label #27319: Pull request #13500 labeled by tydeu
9s
9s
feat: lake: empty build detection & --allow-empty Check awaiting-manual label #19648: Pull request #13500 labeled by tydeu
6s
6s
feat: lake: empty build detection & --allow-empty Check awaiting-mathlib label #27318: Pull request #13500 labeled by tydeu
5s
5s
feat: lake: empty build detection & --allow-empty Backport #19096: Pull request #13500 labeled by tydeu
Skipped
Skipped
feat: lake: empty build detection & --allow-empty Check PR body for changelog convention #39762: Pull request #13500 labeled by tydeu
5s
5s
Label stale PRs Label stale PRs #948: Scheduled
24s master
master
24s
fix: leantar architecture detection for Linux aarch64 Label PR based on Comment #25381: Issue comment #13499 (comment) created by leanprover-bot
1s
1s
fix: leantar architecture detection for Linux aarch64 Label PR based on Comment #25380: Issue comment #13499 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
Grove Grove #18823: completed by tydeu
12s
12s
PR release PR release #47333: completed by tydeu
13m 40s
13m 40s
Incremental build cache can cause incorrect test results Label PR based on Comment #25379: Issue comment #13449 (comment) created by robin-aws
Skipped
Skipped
Incremental build cache can cause incorrect test results Label PR based on Comment #25378: Issue comment #13449 (comment) created by tydeu
1s
1s
Grove Grove #18822: completed by github-merge-queue Bot
1m 25s
1m 25s
PR release PR release #47332: completed by github-merge-queue Bot
1s
1s
Grove Grove #18821: completed by tydeu
1s
1s
PR release PR release #47331: completed by tydeu
12s
12s
fix: leantar architecture detection for Linux aarch64 CI #56197: Pull request #13499 synchronize by tydeu
1h 37m 16s tydeu:leantar-aarch64
tydeu:leantar-aarch64
1h 37m 16s