Skip to content

Actions: leanprover/lean-kernel-arena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
935 workflow runs
935 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
Build and Deploy Site Build and Deploy Site #502: Manually run by nomeata
1h 43m 53s master
master
1h 43m 53s
Test: evil recursors making true equalities false (#156) Actionlint #364: Commit 0dfcffe pushed by nomeata
14s master
master
14s
Test: evil recursors making true equalities false Build and Deploy Site #501: Pull request #156 reopened by nomeata
17m 19s robsimmons:large-elim-prop-bool
robsimmons:large-elim-prop-bool
17m 19s
tests: add orphan-rec and orphan-ctor (#158) Actionlint #363: Commit 0a8540e pushed by nomeata
13s master
master
13s
feat: additional tests for bad recursors Build and Deploy Site #500: Pull request #159 opened by ammkrn
37m 31s ammkrn:rec-orphan-tests
ammkrn:rec-orphan-tests
37m 31s
chore: bump nanoda version (#157) Actionlint #362: Commit a7268da pushed by nomeata
10s master
master
10s
tests: add orphan-rec and orphan-ctor Build and Deploy Site #499: Pull request #158 opened by nomeata
16m 5s joachim/orphan-rec-ctor
joachim/orphan-rec-ctor
16m 5s
tests: add orphan-rec and orphan-ctor Actionlint #361: Commit 324fe58 pushed by nomeata
13s joachim/orphan-rec-ctor
joachim/orphan-rec-ctor
13s
Modify large-elim-param.ndjson (#155) Actionlint #360: Commit 8e08d6e pushed by nomeata
11s master
master
11s
chore: bump nanoda version Build and Deploy Site #498: Pull request #157 opened by ammkrn
5m 39s ammkrn:bump_nanoda_0505
ammkrn:bump_nanoda_0505
5m 39s
Test: evil recursors making true equalities false Build and Deploy Site #497: Pull request #156 synchronize by robsimmons
30m 33s robsimmons:large-elim-prop-bool
robsimmons:large-elim-prop-bool
30m 33s
Test: evil recursors making true equalities false Build and Deploy Site #496: Pull request #156 opened by robsimmons
1m 20s robsimmons:large-elim-prop-bool
robsimmons:large-elim-prop-bool
1m 20s
Modify large-elim-param.ndjson Build and Deploy Site #495: Pull request #155 opened by robsimmons
21m 5s robsimmons:patch-1
robsimmons:patch-1
21m 5s
Build and Deploy Site Build and Deploy Site #494: Manually run by nomeata
1h 10m 32s master
master
1h 10m 32s
Change nightly version to 2026-08-22 Actionlint #359: Commit f0fe3b3 pushed by nomeata
10s master
master
10s
Build and Deploy Site Build and Deploy Site #493: Manually run by nomeata
1h 26m 14s master
master
1h 26m 14s
tutorial: projecting out of a structure that may or may not be a Prop… Actionlint #358: Commit 4641477 pushed by nomeata
10s master
master
10s
Bump ind-models (#154) Actionlint #357: Commit 4aa7eb6 pushed by nomeata
15s master
master
15s
Bump ind-models Build and Deploy Site #492: Pull request #154 opened by nomeata
5m 35s joachim/bump-models
joachim/bump-models
5m 35s
Bump ind-models Actionlint #356: Commit c4789d0 pushed by nomeata
15s joachim/bump-models
joachim/bump-models
15s
tutorial: projecting out of a structure that may or may not be a Prop Build and Deploy Site #491: Pull request #153 opened by nomeata
11m 51s joachim/proj-of-maybe-prop
joachim/proj-of-maybe-prop
11m 51s
tutorial: projecting out of a structure that may or may not be a Prop Actionlint #355: Commit 0a414fc pushed by nomeata
14s joachim/proj-of-maybe-prop
joachim/proj-of-maybe-prop
14s
checkers: pin kiota to main @ 58e8636 (check large theorems) (#150) Actionlint #354: Commit b4e319a pushed by nomeata
10s master
master
10s
checkers: pin kiota to main @ 870c625 (check theorems; Init+std) Build and Deploy Site #490: Pull request #150 synchronize by sankalpsthakur
4m 31s sankalpsthakur:bump-kiota-51f7fec
sankalpsthakur:bump-kiota-51f7fec
4m 31s
tests: add rec-of-subst-prop, a second variant of proj-of-subst-prop … Actionlint #353: Commit 08918e4 pushed by nomeata
11s master
master
11s