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 #51103: completed by Kha
9m 29s
9m 29s
Grove Grove #22593: completed by Kha
Skipped
Skipped
chore: remove unnecessary public meta import on critical rebuild path Label PR based on Comment #28138: Issue comment #14360 (comment) created by leanprover-bot
1s
1s
chore: remove unnecessary public meta import on critical rebuild path Label PR based on Comment #28137: Issue comment #14360 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
perf: compile Bool.not, Bool.xor, and Bool.toNat without branches Label PR based on Comment #28136: Issue comment #14207 (comment) created by leanprover-radar
Skipped
Skipped
perf: compile Bool.not, Bool.xor, and Bool.toNat without branches Label PR based on Comment #28135: Issue comment #14207 (comment) created by JJYYY-JJY
1s
1s
feat: introduce Std.Async.TCP.SSL Label PR based on Comment #28134: Issue comment #14066 (comment) created by ValorZard
1s
1s
Grove Grove #22592: completed by Kha
37s
37s
PR release PR release #51102: completed by Kha
6m 57s
6m 57s
chore: remove unnecessary public meta import on critical rebuild path Label PR based on Comment #28133: Issue comment #14360 (comment) created by leanprover-radar
10s
10s
chore: remove unnecessary public meta import on critical rebuild path Label PR based on Comment #28132: Issue comment #14360 (comment) created by Kha
1s
1s
chore: remove unnecessary public meta import on critical rebuild path CI #59795: Pull request #14360 opened by Kha
25m 39s push-rwnqtzsputnu
push-rwnqtzsputnu
25m 39s
chore: remove unnecessary public meta import on critical rebuild path Check for copyright header #28355: Pull request #14360 opened by Kha
1m 16s push-rwnqtzsputnu
push-rwnqtzsputnu
1m 16s
chore: remove unnecessary public meta import on critical rebuild path Check for empty PR #4310: Pull request #14360 opened by Kha
2m 18s push-rwnqtzsputnu
push-rwnqtzsputnu
2m 18s
chore: remove unnecessary public meta import on critical rebuild path Check PR title for commit convention #45158: Pull request #14360 opened by Kha
6s push-rwnqtzsputnu
push-rwnqtzsputnu
6s
chore: remove unnecessary public meta import on critical rebuild path Check for stage0 changes #35054: Pull request #14360 opened by Kha
1m 55s push-rwnqtzsputnu
push-rwnqtzsputnu
1m 55s
chore: remove unnecessary public meta import on critical rebuild path Check for modules that should use `prelude` #28200: Pull request #14360 opened by Kha
15s push-rwnqtzsputnu
push-rwnqtzsputnu
15s
chore: remove unnecessary public meta import on critical rebuild path Check PR body for changelog convention #44858: Pull request #14360 opened by Kha
7s
7s
chore: remove unnecessary public meta import on critical rebuild path Check awaiting-mathlib label #31653: Pull request #14360 opened by Kha
6s
6s
chore: remove unnecessary public meta import on critical rebuild path Check awaiting-manual label #23983: Pull request #14360 opened by Kha
6s
6s
chore: remove unnecessary public meta import on critical rebuild path Check stdlib_flags.h modifications #10834: Pull request #14360 opened by Kha
9s
9s
[REBASED] experiment: consolidate all TC opts Label PR based on Comment #28131: Issue comment #14339 (comment) created by leanprover-radar
Skipped
Skipped
[REBASED] experiment: consolidate all TC opts Label PR based on Comment #28130: Issue comment #14339 (comment) created by Kha
1s
1s
[REBASED] experiment: consolidate all TC opts Check awaiting-mathlib label #31652: Pull request #14339 unlabeled by Kha
8s
8s
[REBASED] experiment: consolidate all TC opts Check awaiting-manual label #23982: Pull request #14339 unlabeled by Kha
5s
5s