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
PR release PR release #47081: completed by algebraic-dev
11s
11s
Grove Grove #18571: completed by algebraic-dev
1s
1s
feat: introduce HTTP/1.1 server Check PR title for commit convention #41262: Pull request #12151 edited by algebraic-dev
9s sofia/async-http-server
sofia/async-http-server
9s
feat: introduce HTTP/1.1 server Check PR body for changelog convention #39390: Pull request #12151 edited by algebraic-dev
7s
7s
feat: introduce HTTP/1.1 server CI #55959: Pull request #12151 synchronize by algebraic-dev
In progress sofia/async-http-server
sofia/async-http-server
In progress
feat: introduce HTTP/1.1 server Check for empty PR #1174: Pull request #12151 synchronize by algebraic-dev
1m 42s sofia/async-http-server
sofia/async-http-server
1m 42s
feat: introduce HTTP/1.1 server Check for stage0 changes #31916: Pull request #12151 synchronize by algebraic-dev
1m 31s sofia/async-http-server
sofia/async-http-server
1m 31s
feat: introduce HTTP/1.1 server Check PR title for commit convention #41261: Pull request #12151 synchronize by algebraic-dev
7s sofia/async-http-server
sofia/async-http-server
7s
feat: introduce HTTP/1.1 server Check for modules that should use `prelude` #25742: Pull request #12151 synchronize by algebraic-dev
12s sofia/async-http-server
sofia/async-http-server
12s
feat: introduce HTTP/1.1 server Check for copyright header #25897: Pull request #12151 synchronize by algebraic-dev
57s sofia/async-http-server
sofia/async-http-server
57s
feat: introduce HTTP/1.1 server Check awaiting-manual label #19339: Pull request #12151 synchronize by algebraic-dev
7s
7s
feat: introduce HTTP/1.1 server Check awaiting-mathlib label #27009: Pull request #12151 synchronize by algebraic-dev
7s
7s
feat: introduce HTTP/1.1 server Check PR body for changelog convention #39389: Pull request #12151 synchronize by algebraic-dev
9s
9s
feat: introduce HTTP/1.1 server Check stdlib_flags.h modifications #6870: Pull request #12151 synchronize by algebraic-dev
7s
7s
CI CI #55958: Merge group checks requested
In progress
In progress
Check PR body for changelog convention Check PR body for changelog convention #39388: Merge group checks requested
9s
9s
Actionlint Actionlint #9427: Merge group checks requested
51s
51s
Check awaiting-manual label Check awaiting-manual label #19338: Merge group checks requested
7s
7s
Check PR title for commit convention Check PR title for commit convention #41260: Merge group checks requested
6s
6s
Check awaiting-mathlib label Check awaiting-mathlib label #27008: Merge group checks requested
8s
8s
Check for empty PR Check for empty PR #1173: Merge group checks requested
1m 19s
1m 19s
Check for stage0 changes Check for stage0 changes #31915: Merge group checks requested
1m 22s
1m 22s
feat: introduce HTTP/1.1 server CI #55957: Pull request #12151 synchronize by algebraic-dev
18m 55s sofia/async-http-server
sofia/async-http-server
18m 55s
feat: introduce HTTP/1.1 server Check for empty PR #1172: Pull request #12151 synchronize by algebraic-dev
1m 28s sofia/async-http-server
sofia/async-http-server
1m 28s
feat: introduce HTTP/1.1 server Check for copyright header #25896: Pull request #12151 synchronize by algebraic-dev
55s sofia/async-http-server
sofia/async-http-server
55s