Skip to content

Actions: leanprover/lean-kernel-arena

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
397 workflow runs
397 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
Bump rpylean to v2026.9.1 (#179) Actionlint #398: Commit abc5535 pushed by nomeata
14s master
master
14s
checkers: bump kiota to 2d2a9fa (#178) Actionlint #397: Commit 06eecc0 pushed by nomeata
13s master
master
13s
Add eink0rn, a clean-room Lean 4 kernel in Haskell (#177) Actionlint #396: Commit 2010fe2 pushed by nomeata
13s master
master
13s
Add imax right-successor corner cases (#176) Actionlint #395: Commit 9a4bf18 pushed by nomeata
14s master
master
14s
evm proof checker updates (#174) Actionlint #394: Commit f25ea1b pushed by nomeata
14s master
master
14s
Bump official to v4.34.0-rc2 (#173) Actionlint #393: Commit aa259bf pushed by nomeata
16s master
master
16s
Bump official to v4.34.0-rc2 Actionlint #392: Commit 7da14b7 pushed by nomeata
9s joachim/official-4.34.0-rc2
joachim/official-4.34.0-rc2
9s
Rework the scoring presentation: per-outcome counts, colors, collapsi… Actionlint #391: Commit 4f92109 pushed by nomeata
11s master
master
11s
Bump official to v4.34.0-rc2 Actionlint #390: Commit 74f702a pushed by nomeata
14s joachim/official-4.34.0-rc2
joachim/official-4.34.0-rc2
14s
Gather the unsettled tests into a corner-cases group (#171) Actionlint #389: Commit 3fe7536 pushed by nomeata
11s master
master
11s
No green for plain correct results in the tests table Actionlint #388: Commit 0dbefa1 pushed by nomeata
11s joachim/soundness-first
joachim/soundness-first
11s
Gather the unsettled tests into a corner-cases group Actionlint #387: Commit 223c89e pushed by nomeata
11s joachim/corner-cases
joachim/corner-cases
11s
Arena rounds: archived, citable snapshots of the arena (#169) Actionlint #386: Commit 37014d2 pushed by nomeata
13s master
master
13s
Expect the sandbox DOI prefix swap rather than waiving the check Actionlint #385: Commit 958f6c4 pushed by nomeata
13s joachim/rounds
joachim/rounds
13s
Fix a slipped article in the DOI mismatch message Actionlint #384: Commit 9771d11 pushed by nomeata
18s joachim/rounds
joachim/rounds
18s
Add analytics to the deployed pages only, not to the built site Actionlint #383: Commit 40eae9c pushed by nomeata
18s joachim/rounds
joachim/rounds
18s
Actionlint Actionlint #382: by nomeata
15s test-round-2026-11
test-round-2026-11
15s
feat: add lean-lang.org plausible snippet (#170) Actionlint #381: Commit e9a033e pushed by nomeata
15s master
master
15s
Check that the published DOI is the one baked into the round Actionlint #380: Commit b4ad749 pushed by nomeata
26m 56s joachim/rounds
joachim/rounds
26m 56s
Point the release and the Zenodo record at the round on the site Actionlint #379: Commit 973d13a pushed by nomeata
12s test-round-2026-10
test-round-2026-10
12s
Point the release and the Zenodo record at the round on the site Actionlint #378: Commit 973d13a pushed by nomeata
10s joachim/rounds
joachim/rounds
10s
Record the actual release tag in a round's results.json Actionlint #377: Commit 8a08f2a pushed by nomeata
14s test-round-2026-09
test-round-2026-09
14s
Record the actual release tag in a round's results.json Actionlint #376: Commit 8a08f2a pushed by nomeata
10s joachim/rounds
joachim/rounds
10s
Stop the pipeline when the round tag is rejected Actionlint #375: Commit cb40b65 pushed by nomeata
15s test-round-2026-08
test-round-2026-08
15s
Stop the pipeline when the round tag is rejected Actionlint #374: Commit cb40b65 pushed by nomeata
9s joachim/rounds
joachim/rounds
9s