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 #27963: Issue comment #14327 (comment) created by leanprover-radar
1s
1s
perf: memoize stuck type class resolution queries Label PR based on Comment #27962: Issue comment #14327 (comment) created by leanprover-radar
1s
1s
perf: memoize stuck type class resolution queries Label PR based on Comment #27961: Issue comment #14327 (comment) created by Kha
8s
8s
PR release PR release #50949: completed by hargoniX
10s
10s
Grove Grove #22439: completed by hargoniX
13s
13s
perf: memoize stuck type class resolution queries Label PR based on Comment #27960: Issue comment #14327 (comment) created by Kha
1s
1s
perf: memoize stuck type class resolution queries CI #59645: Pull request #14327 opened by Kha
In progress tc-stuck-memo
tc-stuck-memo
In progress
perf: memoize stuck type class resolution queries Check for modules that should use `prelude` #28097: Pull request #14327 opened by Kha
12s tc-stuck-memo
tc-stuck-memo
12s
perf: memoize stuck type class resolution queries Check for empty PR #4183: Pull request #14327 opened by Kha
1m 15s tc-stuck-memo
tc-stuck-memo
1m 15s
perf: memoize stuck type class resolution queries Check for copyright header #28252: Pull request #14327 opened by Kha
1m 0s tc-stuck-memo
tc-stuck-memo
1m 0s
perf: memoize stuck type class resolution queries Check for stage0 changes #34927: Pull request #14327 opened by Kha
1m 20s tc-stuck-memo
tc-stuck-memo
1m 20s
perf: memoize stuck type class resolution queries Check PR title for commit convention #45007: Pull request #14327 opened by Kha
6s tc-stuck-memo
tc-stuck-memo
6s
perf: memoize stuck type class resolution queries Check stdlib_flags.h modifications #10627: Pull request #14327 opened by Kha
7s
7s
perf: memoize stuck type class resolution queries Check awaiting-manual label #23752: Pull request #14327 opened by Kha
11s
11s
perf: memoize stuck type class resolution queries Check PR body for changelog convention #44617: Pull request #14327 opened by Kha
6s
6s
perf: memoize stuck type class resolution queries Check awaiting-mathlib label #31422: Pull request #14327 opened by Kha
9s
9s
perf: type class experiment Label PR based on Comment #27959: Issue comment #14318 (comment) created by leanprover-radar
1s
1s
Grove Grove #22438: completed by github-merge-queue Bot
9s
9s
PR release PR release #50948: completed by github-merge-queue Bot
10s
10s
perf: type class experiment Label PR based on Comment #27958: Issue comment #14318 (comment) created by leodemoura
8s
8s
chore: disable binary stripping in release configuration Adaptation PR #362: Pull request #14139 closed by hargoniX
49s
49s
chore: disable binary stripping in release configuration Backport #20756: Pull request #14139 closed by hargoniX
7s
7s
chore: disable binary stripping in release configuration (#14139) CI #59644: Commit 306bbbc pushed by github-merge-queue Bot
In progress master
master
In progress
chore: disable binary stripping in release configuration (#14139) Update stage0 #8537: Commit 306bbbc pushed by github-merge-queue Bot
1m 3s master
master
1m 3s
PR release PR release #50947: completed by github-merge-queue Bot
10s
10s