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
perf: memoize stuck type class resolution queries Label PR based on Comment #27967: Issue comment #14327 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
perf: memoize stuck type class resolution queries Check stdlib_flags.h modifications #10633: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
10s
10s
perf: memoize stuck type class resolution queries Check PR body for changelog convention #44621: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
7s
7s
perf: memoize stuck type class resolution queries Backport #20760: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
9s
9s
perf: memoize stuck type class resolution queries Restart by label #11903: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
1s
1s
perf: memoize stuck type class resolution queries Adaptation PR #366: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
3s
3s
perf: memoize stuck type class resolution queries Check awaiting-mathlib label #31428: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
5s
5s
perf: memoize stuck type class resolution queries Check awaiting-manual label #23758: Pull request #14327 labeled by mathlib-lean-pr-testing Bot
5s
5s
fix: avoid recursive object compaction Label PR based on Comment #27966: Issue comment #14165 (comment) created by eluvane
1s
1s
Grove Grove #22441: completed by github-merge-queue Bot
1m 34s
1m 34s
PR release PR release #50951: completed by github-merge-queue Bot
1s
1s
feat: add hint to unusedVariables linter Restart by label #11902: Pull request #14259 labeled by wkrozowski
1s
1s
feat: add hint to unusedVariables linter Backport #20759: Pull request #14259 labeled by wkrozowski
1s
1s
feat: add hint to unusedVariables linter Check stdlib_flags.h modifications #10632: Pull request #14259 labeled by wkrozowski
7s
7s
feat: add hint to unusedVariables linter Check awaiting-manual label #23757: Pull request #14259 labeled by wkrozowski
6s
6s
feat: add hint to unusedVariables linter Check awaiting-mathlib label #31427: Pull request #14259 labeled by wkrozowski
9s
9s
feat: add hint to unusedVariables linter Adaptation PR #365: Pull request #14259 labeled by wkrozowski
1s
1s
feat: add hint to unusedVariables linter Check PR body for changelog convention #44620: Pull request #14259 labeled by wkrozowski
6s
6s
feat: add hint to unusedVariables linter Check awaiting-manual label #23756: Pull request #14259 unlabeled by wkrozowski
8s
8s
feat: add hint to unusedVariables linter Check stdlib_flags.h modifications #10631: Pull request #14259 unlabeled by wkrozowski
6s
6s
feat: add hint to unusedVariables linter Restart by label #11901: Pull request #14259 unlabeled by wkrozowski
1s
1s
feat: add hint to unusedVariables linter Check awaiting-mathlib label #31426: Pull request #14259 unlabeled by wkrozowski
7s
7s
perf: memoize stuck type class resolution queries Label PR based on Comment #27965: Issue comment #14327 (comment) created by leanprover-bot
Skipped
Skipped
PR release PR release #50950: completed by Kha
8m 17s
8m 17s
Grove Grove #22440: completed by Kha
2s
2s