Skip to content

Actions: leanprover/lean4

Actions

Check awaiting-mathlib label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
awaiting-mathlib.yml
2,500+ workflow runs
2,500+ workflow runs

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
Check awaiting-mathlib label Check awaiting-mathlib label #31421: Merge group checks requested
Queued
Queued
chore: CI: re-enable test header snapshots Check awaiting-mathlib label #31420: Pull request #14324 labeled by mathlib-lean-pr-testing Bot
2m 22s
2m 22s
perf: type class experiment Check awaiting-mathlib label #31419: Pull request #14318 unlabeled by leodemoura
4m 8s
4m 8s
perf: type class experiment Check awaiting-mathlib label #31418: Pull request #14318 synchronize by leodemoura
9m 44s
9m 44s
Check awaiting-mathlib label Check awaiting-mathlib label #31417: Merge group checks requested
23m 45s
23m 45s
fix(Lake): load missing dynlibs individually with precompileModules Check awaiting-mathlib label #31416: Pull request #14326 opened by Vtec234
25m 15s
25m 15s
perf: share depth-invariant type class cache entries across synthPendingDepth Check awaiting-mathlib label #31415: Pull request #14298 unlabeled by Kha
34m 40s
34m 40s
perf: share depth-invariant type class cache entries across synthPendingDepth Check awaiting-mathlib label #31414: Pull request #14298 synchronize by Kha
34m 36s
34m 36s
feat: add hint to unusedVariables linter Check awaiting-mathlib label #31413: Pull request #14259 labeled by mathlib-lean-pr-testing Bot
40m 48s
40m 48s
feat: add hint to unusedVariables linter Check awaiting-mathlib label #31412: Pull request #14259 unlabeled by mathlib-lean-pr-testing Bot
40m 46s
40m 46s
feat: lint on open statements within namespace which do not open all candidate namespaces Check awaiting-mathlib label #31411: Pull request #14325 labeled by TwoFX
In progress
In progress
Check awaiting-mathlib label Check awaiting-mathlib label #31410: Merge group checks requested
52m 51s
52m 51s
Check awaiting-mathlib label Check awaiting-mathlib label #31409: Merge group checks requested
53m 2s
53m 2s
Check awaiting-mathlib label Check awaiting-mathlib label #31408: Merge group checks requested
9s
9s
perf: cache inside matcher WHNFs at reducible/instances/implicit Check awaiting-mathlib label #31407: Pull request #14323 synchronize by datokrat
6s
6s
feat: lint on open statements within namespace which do not open all candidate namespaces Check awaiting-mathlib label #31406: Pull request #14325 labeled by TwoFX
6s
6s
feat: lint on open statements within namespace which do not open all candidate namespaces Check awaiting-mathlib label #31405: Pull request #14325 labeled by TwoFX
7s
7s
feat: lint on open statements within namespace which do not open all candidate namespaces Check awaiting-mathlib label #31404: Pull request #14325 opened by TwoFX
5s
5s
perf: cache inside matcher WHNFs at reducible/instances/implicit Check awaiting-mathlib label #31403: Pull request #14323 synchronize by datokrat
5s
5s
chore: CI: re-enable test header snapshots Check awaiting-mathlib label #31402: Pull request #14324 opened by Kha
5s
5s
perf: share depth-invariant type class cache entries across synthPendingDepth Check awaiting-mathlib label #31401: Pull request #14298 unlabeled by Kha
6s
6s
perf: share depth-invariant type class cache entries across synthPendingDepth Check awaiting-mathlib label #31400: Pull request #14298 synchronize by Kha
8s
8s
perf: type class experiment Check awaiting-mathlib label #31399: Pull request #14318 unlabeled by leodemoura
9s
9s
perf: type class experiment Check awaiting-mathlib label #31398: Pull request #14318 unlabeled by leodemoura
8s
8s
perf: type class experiment Check awaiting-mathlib label #31397: Pull request #14318 synchronize by leodemoura
29s
29s