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
PR release PR release #50954: completed by leodemoura
7s
7s
Grove Grove #22444: completed by leodemoura
14s
14s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27974: Issue comment #14330 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
perf: assign synthesized instances directly when the goal type is ground Backport #20763: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
1s
1s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-mathlib label #31435: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
5s
5s
perf: assign synthesized instances directly when the goal type is ground Check stdlib_flags.h modifications #10639: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
8s
8s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-manual label #23765: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
6s
6s
perf: assign synthesized instances directly when the goal type is ground Restart by label #11907: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
8s
8s
perf: assign synthesized instances directly when the goal type is ground Adaptation PR #369: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
1s
1s
perf: assign synthesized instances directly when the goal type is ground Check PR body for changelog convention #44628: Pull request #14330 labeled by mathlib-lean-pr-testing Bot
8s
8s
CI CI #59648: Merge group checks requested
29m 36s
29m 36s
Check awaiting-mathlib label Check awaiting-mathlib label #31434: Merge group checks requested
8s
8s
Check PR body for changelog convention Check PR body for changelog convention #44627: Merge group checks requested
5s
5s
Check awaiting-manual label Check awaiting-manual label #23764: Merge group checks requested
6s
6s
Actionlint Actionlint #10273: Merge group checks requested
1m 3s
1m 3s
Check for stage0 changes Check for stage0 changes #34930: Merge group checks requested
1m 21s
1m 21s
Check for empty PR Check for empty PR #4186: Merge group checks requested
1m 15s
1m 15s
Check PR title for commit convention Check PR title for commit convention #45011: Merge group checks requested
6s
6s
Grove Grove #22443: completed by Vtec234
28s
28s
PR release PR release #50953: completed by Vtec234
7m 21s
7m 21s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27973: Issue comment #14330 (comment) created by leanprover-bot
1s
1s
fix: load missing dynlibs individually with precompileModules CI #59647: Pull request #14326 synchronize by Vtec234
17m 53s lake-more-plugins
lake-more-plugins
17m 53s
fix: load missing dynlibs individually with precompileModules Check for stage0 changes #34929: Pull request #14326 synchronize by Vtec234
1m 16s lake-more-plugins
lake-more-plugins
1m 16s
fix: load missing dynlibs individually with precompileModules Check for modules that should use `prelude` #28099: Pull request #14326 synchronize by Vtec234
12s lake-more-plugins
lake-more-plugins
12s
fix: load missing dynlibs individually with precompileModules Check PR title for commit convention #45010: Pull request #14326 synchronize by Vtec234
5s lake-more-plugins
lake-more-plugins
5s