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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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