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
CI CI #59653: Merge group checks requested
In progress
In progress
Check for stage0 changes Check for stage0 changes #34934: Merge group checks requested
1m 24s
1m 24s
Check awaiting-mathlib label Check awaiting-mathlib label #31444: Merge group checks requested
5s
5s
Check PR title for commit convention Check PR title for commit convention #45015: Merge group checks requested
9s
9s
Check awaiting-manual label Check awaiting-manual label #23774: Merge group checks requested
6s
6s
Actionlint Actionlint #10275: Merge group checks requested
59s
59s
Check for empty PR Check for empty PR #4190: Merge group checks requested
1m 12s
1m 12s
Check PR body for changelog convention Check PR body for changelog convention #44634: Merge group checks requested
9s
9s
PR release PR release #50958: completed by leodemoura
7m 29s
7m 29s
Grove Grove #22448: completed by leodemoura
36s
36s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27983: Issue comment #14330 (comment) created by leanprover-radar
10s
10s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27982: Issue comment #14330 (comment) created by leodemoura
9s
9s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-mathlib label #31443: Pull request #14330 unlabeled by leodemoura
9s
9s
perf: assign synthesized instances directly when the goal type is ground Check stdlib_flags.h modifications #10646: Pull request #14330 unlabeled by leodemoura
7s
7s
perf: assign synthesized instances directly when the goal type is ground Restart by label #11912: Pull request #14330 unlabeled by leodemoura
10s
10s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-manual label #23773: Pull request #14330 unlabeled by leodemoura
6s
6s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27981: Issue comment #14330 (comment) created by leanprover-radar
2s
2s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27980: Issue comment #14330 (comment) created by leodemoura
1s
1s
perf: assign synthesized instances directly when the goal type is ground CI #59652: Pull request #14330 synchronize by leodemoura
19m 28s tc_directAssign
tc_directAssign
19m 28s
perf: assign synthesized instances directly when the goal type is ground Check for copyright header #28256: Pull request #14330 synchronize by leodemoura
1m 5s tc_directAssign
tc_directAssign
1m 5s
perf: assign synthesized instances directly when the goal type is ground Check PR title for commit convention #45014: Pull request #14330 synchronize by leodemoura
6s tc_directAssign
tc_directAssign
6s
perf: assign synthesized instances directly when the goal type is ground Check for empty PR #4189: Pull request #14330 synchronize by leodemoura
1m 19s tc_directAssign
tc_directAssign
1m 19s
perf: assign synthesized instances directly when the goal type is ground Check for stage0 changes #34933: Pull request #14330 synchronize by leodemoura
1m 33s tc_directAssign
tc_directAssign
1m 33s
perf: assign synthesized instances directly when the goal type is ground Check for modules that should use `prelude` #28101: Pull request #14330 synchronize by leodemoura
12s tc_directAssign
tc_directAssign
12s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-mathlib label #31442: Pull request #14330 synchronize by leodemoura
8s
8s