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
Grove Grove #22447: completed by leodemoura
36s
36s
PR release PR release #50957: completed by leodemoura
In progress
In progress
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27979: Issue comment #14330 (comment) created by leanprover-radar
1s
1s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27978: Issue comment #14330 (comment) created by leodemoura
1s
1s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-manual label #23768: Pull request #14330 unlabeled by leodemoura
5s
5s
perf: assign synthesized instances directly when the goal type is ground Check stdlib_flags.h modifications #10641: Pull request #14330 unlabeled by leodemoura
5s
5s
perf: assign synthesized instances directly when the goal type is ground Restart by label #11908: Pull request #14330 unlabeled by leodemoura
1s
1s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-mathlib label #31438: Pull request #14330 unlabeled by leodemoura
5s
5s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27977: Issue comment #14330 (comment) created by leanprover-radar
1s
1s
perf: assign synthesized instances directly when the goal type is ground Label PR based on Comment #27976: Issue comment #14330 (comment) created by leodemoura
9s
9s
perf: assign synthesized instances directly when the goal type is ground CI #59651: Pull request #14330 synchronize by leodemoura
17m 52s tc_directAssign
tc_directAssign
17m 52s
perf: assign synthesized instances directly when the goal type is ground Check for empty PR #4188: Pull request #14330 synchronize by leodemoura
1m 24s tc_directAssign
tc_directAssign
1m 24s
perf: assign synthesized instances directly when the goal type is ground Check for stage0 changes #34932: 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 copyright header #28255: Pull request #14330 synchronize by leodemoura
1m 10s tc_directAssign
tc_directAssign
1m 10s
perf: assign synthesized instances directly when the goal type is ground Check PR title for commit convention #45013: Pull request #14330 synchronize by leodemoura
9s tc_directAssign
tc_directAssign
9s
perf: assign synthesized instances directly when the goal type is ground Check for modules that should use `prelude` #28100: Pull request #14330 synchronize by leodemoura
12s tc_directAssign
tc_directAssign
12s
perf: assign synthesized instances directly when the goal type is ground Check stdlib_flags.h modifications #10640: Pull request #14330 synchronize by leodemoura
7s
7s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-mathlib label #31437: Pull request #14330 synchronize by leodemoura
9s
9s
perf: assign synthesized instances directly when the goal type is ground Check PR body for changelog convention #44630: Pull request #14330 synchronize by leodemoura
7s
7s
perf: assign synthesized instances directly when the goal type is ground Check awaiting-manual label #23767: Pull request #14330 synchronize by leodemoura
8s
8s
Grove Grove #22446: completed by github-merge-queue Bot
1m 36s
1m 36s
PR release PR release #50956: completed by github-merge-queue Bot
1s
1s
PR release PR release #50955: completed by wkrozowski
1s
1s
Grove Grove #22445: completed by wkrozowski
14s
14s
Lake/Lean fails to build native libraries on Linux because it tries to load libLake_shared.so Label PR based on Comment #27975: Issue comment #9420 (comment) created by Vtec234
6s
6s