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
Label stale PRs Label stale PRs #1057: Scheduled
22s master
master
22s
Typeclass inference fails if argument is a match Label PR based on Comment #29393: Issue comment #12381 (comment) created by yinamy
1s
1s
PR release PR release #52666: completed by algebraic-dev
7m 17s
7m 17s
Grove Grove #24156: completed by algebraic-dev
1s
1s
feat: add HTTP client Check PR body for changelog convention #47123: Pull request #14548 edited by algebraic-dev
16s
16s
feat: add HTTP client Check PR title for commit convention #46790: Pull request #14548 edited by algebraic-dev
7s sofia/async-http-client-agent
sofia/async-http-client-agent
7s
feat: add HTTP client Check PR body for changelog convention #47122: Pull request #14548 edited by algebraic-dev
7s
7s
feat: add HTTP client Check PR title for commit convention #46789: Pull request #14548 edited by algebraic-dev
8s sofia/async-http-client-agent
sofia/async-http-client-agent
8s
Grove Grove #24155: completed by algebraic-dev
1s
1s
PR release PR release #52665: completed by algebraic-dev
50s
50s
feat: add HTTP client CI #61337: Pull request #14548 synchronize by algebraic-dev
12m 4s sofia/async-http-client-agent
sofia/async-http-client-agent
12m 4s
feat: add HTTP client Check PR title for commit convention #46788: Pull request #14548 synchronize by algebraic-dev
12s sofia/async-http-client-agent
sofia/async-http-client-agent
12s
feat: add HTTP client Check for empty PR #5592: Pull request #14548 synchronize by algebraic-dev
1m 10s sofia/async-http-client-agent
sofia/async-http-client-agent
1m 10s
feat: add HTTP client Check for modules that should use `prelude` #29254: Pull request #14548 synchronize by algebraic-dev
15s sofia/async-http-client-agent
sofia/async-http-client-agent
15s
feat: add HTTP client Check for stage0 changes #36336: Pull request #14548 synchronize by algebraic-dev
1m 15s sofia/async-http-client-agent
sofia/async-http-client-agent
1m 15s
feat: add HTTP client Check for copyright header #29410: Pull request #14548 synchronize by algebraic-dev
1m 9s sofia/async-http-client-agent
sofia/async-http-client-agent
1m 9s
feat: add HTTP client Check awaiting-mathlib label #33502: Pull request #14548 synchronize by algebraic-dev
7s
7s
feat: add HTTP client Adaptation PR #1679: Pull request #14548 synchronize by algebraic-dev
11s
11s
feat: add HTTP client Check stdlib_flags.h modifications #12455: Pull request #14548 synchronize by algebraic-dev
9s
9s
feat: add HTTP client Check awaiting-manual label #25832: Pull request #14548 synchronize by algebraic-dev
8s
8s
feat: add HTTP client Check PR body for changelog convention #47121: Pull request #14548 synchronize by algebraic-dev
8s
8s
Grove Grove #24154: completed by algebraic-dev
1s
1s
PR release PR release #52664: completed by algebraic-dev
43s
43s
feat: add HTTP client CI #61336: Pull request #14548 synchronize by algebraic-dev
40s sofia/async-http-client-agent
sofia/async-http-client-agent
40s
feat: add HTTP client Check PR title for commit convention #46787: Pull request #14548 synchronize by algebraic-dev
7s sofia/async-http-client-agent
sofia/async-http-client-agent
7s