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 #53898: completed by github-merge-queue Bot
1s
1s
Grove Grove #25386: completed by github-merge-queue Bot
1m 44s
1m 44s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Label PR based on Comment #30241: Issue comment #14968 (comment) created by leanprover-bot
1s
1s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Check awaiting-mathlib label #34886: Pull request #14968 labeled by leanprover-bot
7s
7s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Check stdlib_flags.h modifications #13646: Pull request #14968 labeled by leanprover-bot
38s
38s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Restart by label #12835: Pull request #14968 labeled by leanprover-bot
1s
1s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Check awaiting-manual label #27216: Pull request #14968 labeled by leanprover-bot
10s
10s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Adaptation PR #2967: Pull request #14968 labeled by leanprover-bot
8s
8s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Check PR body for changelog convention #48933: Pull request #14968 labeled by leanprover-bot
1m 2s
1m 2s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack Backport #22073: Pull request #14968 labeled by leanprover-bot
1s
1s
Grove Grove #25385: completed by Kha
37s
37s
PR release PR release #53897: completed by Kha
6m 56s
6m 56s
perf: give currRecDepth its own ReaderT layer in CoreM Label PR based on Comment #30240: Issue comment #14970 (comment) created by leanprover-bot
1s
1s
perf: give currRecDepth its own ReaderT layer in CoreM Label PR based on Comment #30239: Issue comment #14970 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
fix: use the correct calling convention when over-applying a closure in lean_apply_m Label PR based on Comment #30238: Issue comment #14969 (comment) created by leanprover-bot
1s
1s
fix: use the correct calling convention when over-applying a closure in lean_apply_m Label PR based on Comment #30237: Issue comment #14969 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
feat: improve #print recursor rules Adaptation PR #2966: Pull request #14960 closed by kmill
42s
42s
feat: improve #print recursor rules Backport #22072: Pull request #14960 closed by kmill
7s
7s
feat: improve #print recursor rules (#14960) CI #62537: Commit 1584f13 pushed by github-merge-queue Bot
26m 22s master
master
26m 22s
feat: improve #print recursor rules (#14960) Update stage0 #8964: Commit 1584f13 pushed by github-merge-queue Bot
1m 10s master
master
1m 10s
Grove Grove #25384: completed by kmill
29s
29s
PR release PR release #53896: completed by kmill
1s
1s
PR release PR release #53895: completed by Kha
6m 10s
6m 10s
Grove Grove #25383: completed by Kha
1s
1s
Grove Grove #25382: completed by Kha
26s
26s