Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
257,658 workflow runs
257,658 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: link with identical code folding Check for modules that should use `prelude` #22226: Pull request #12022 synchronize by Kha
13s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
13s
perf: link with identical code folding Check for stage0 changes #27437: Pull request #12022 synchronize by Kha
55s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
55s
perf: link with identical code folding Check for copyright header #22381: Pull request #12022 synchronize by Kha
44s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
44s
perf: link with identical code folding Check awaiting-manual label #13086: Pull request #12022 synchronize by Kha
8s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
8s
perf: link with identical code folding Check PR body for changelog convention #32115: Pull request #12022 synchronize by Kha
8s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
8s
perf: link with identical code folding Check stdlib_flags.h modifications #1582: Pull request #12022 synchronize by Kha
7s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
7s
perf: link with identical code folding CI #50438: Pull request #12022 synchronize by Kha
Queued Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
Queued
perf: link with identical code folding Check awaiting-mathlib label #20756: Pull request #12022 synchronize by Kha
5s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
5s
perf: link with identical code folding Check PR title for commit convention #35878: Pull request #12022 synchronize by Kha
5s Kha:push-yvwnqyzozowp
Kha:push-yvwnqyzozowp
5s
PR release PR release #41406: completed by algebraic-dev
7m 11s
7m 11s
Grove Grove #12896: completed by algebraic-dev
13s
13s
feat: lazy initialization of closed terms Check for stage0 changes #27436: Pull request #12044 synchronize by hargoniX
1m 14s hbv/lazy_init
hbv/lazy_init
1m 14s
feat: lazy initialization of closed terms Check awaiting-mathlib label #20755: Pull request #12044 synchronize by hargoniX
7s hbv/lazy_init
hbv/lazy_init
7s
feat: lazy initialization of closed terms Check PR body for changelog convention #32114: Pull request #12044 synchronize by hargoniX
6s hbv/lazy_init
hbv/lazy_init
6s
feat: lazy initialization of closed terms Actionlint #8271: Pull request #12044 synchronize by hargoniX
50s hbv/lazy_init
hbv/lazy_init
50s
feat: lazy initialization of closed terms Check stdlib_flags.h modifications #1581: Pull request #12044 synchronize by hargoniX
8s hbv/lazy_init
hbv/lazy_init
8s
feat: lazy initialization of closed terms CI #50437: Pull request #12044 synchronize by hargoniX
Queued hbv/lazy_init
hbv/lazy_init
Queued
feat: lazy initialization of closed terms Check for copyright header #22380: Pull request #12044 synchronize by hargoniX
47s hbv/lazy_init
hbv/lazy_init
47s
feat: lazy initialization of closed terms Check for modules that should use `prelude` #22225: Pull request #12044 synchronize by hargoniX
10s hbv/lazy_init
hbv/lazy_init
10s
feat: lazy initialization of closed terms Check awaiting-manual label #13085: Pull request #12044 synchronize by hargoniX
7s hbv/lazy_init
hbv/lazy_init
7s
feat: lazy initialization of closed terms Check PR title for commit convention #35877: Pull request #12044 synchronize by hargoniX
7s hbv/lazy_init
hbv/lazy_init
7s
feat: introduce HTTP/1.1 server Check for modules that should use `prelude` #22224: Pull request #12151 synchronize by algebraic-dev
10s sofia/async-http-server
sofia/async-http-server
10s
feat: introduce HTTP/1.1 server Check for copyright header #22379: Pull request #12151 synchronize by algebraic-dev
46s sofia/async-http-server
sofia/async-http-server
46s
feat: introduce HTTP/1.1 server CI #50436: Pull request #12151 synchronize by algebraic-dev
Queued sofia/async-http-server
sofia/async-http-server
Queued
feat: introduce HTTP/1.1 server Check PR body for changelog convention #32113: Pull request #12151 synchronize by algebraic-dev
6s sofia/async-http-server
sofia/async-http-server
6s