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
Label stale PRs Label stale PRs #1025: Scheduled
16s master
master
16s
Grove Grove #22398: completed by leodemoura
30s
30s
PR release PR release #50908: completed by leodemoura
In progress
In progress
perf: type class experiment Label PR based on Comment #27910: Issue comment #14318 (comment) created by leanprover-radar
Skipped
Skipped
perf: type class experiment Label PR based on Comment #27909: Issue comment #14318 (comment) created by leodemoura
2s
2s
perf: type class experiment Label PR based on Comment #27908: Issue comment #14318 (comment) created by leanprover-radar
10s
10s
perf: type class experiment Label PR based on Comment #27907: Issue comment #14318 (comment) created by leodemoura
7s
7s
perf: type class experiment Check PR body for changelog convention #44557: Pull request #14318 converted_to_draft by leodemoura
9s
9s
perf: type class experiment Adaptation PR #332: Pull request #14318 converted_to_draft by leodemoura
42s
42s
perf: type class experiment CI #59602: Pull request #14318 opened by leodemoura
17m 13s tc_perf
tc_perf
17m 13s
perf: type class experiment Check PR title for commit convention #44969: Pull request #14318 opened by leodemoura
8s tc_perf
tc_perf
8s
perf: type class experiment Check for modules that should use `prelude` #28072: Pull request #14318 opened by leodemoura
13s tc_perf
tc_perf
13s
perf: type class experiment Check for empty PR #4151: Pull request #14318 opened by leodemoura
1m 12s tc_perf
tc_perf
1m 12s
perf: type class experiment Check for stage0 changes #34895: Pull request #14318 opened by leodemoura
1m 13s tc_perf
tc_perf
1m 13s
perf: type class experiment Check for copyright header #28227: Pull request #14318 opened by leodemoura
1m 1s tc_perf
tc_perf
1m 1s
perf: type class experiment Adaptation PR #331: Pull request #14318 labeled by leodemoura
1s
1s
perf: type class experiment Backport #20730: Pull request #14318 labeled by leodemoura
1s
1s
perf: type class experiment Check awaiting-mathlib label #31363: Pull request #14318 labeled by leodemoura
6s
6s
perf: type class experiment Check PR body for changelog convention #44556: Pull request #14318 labeled by leodemoura
9s
9s
perf: type class experiment Check stdlib_flags.h modifications #10575: Pull request #14318 labeled by leodemoura
10s
10s
perf: type class experiment Restart by label #11872: Pull request #14318 labeled by leodemoura
11s
11s
perf: type class experiment Check awaiting-manual label #23693: Pull request #14318 labeled by leodemoura
6s
6s
perf: type class experiment Check awaiting-mathlib label #31362: Pull request #14318 opened by leodemoura
8s
8s
perf: type class experiment Check stdlib_flags.h modifications #10574: Pull request #14318 opened by leodemoura
6s
6s
perf: type class experiment Check PR body for changelog convention #44555: Pull request #14318 opened by leodemoura
7s
7s