Skip to content

Actions: leanprover/lean-kernel-arena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
403 workflow runs
403 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
Improve table layout: compact data columns, spacer gap, move Size to end Actionlint #183: Commit 96e1457 pushed by nomeata
17s master
master
17s
Build and Deploy Site Build and Deploy Site #221: Manually run by nomeata
4h 58m 49s master
master
4h 58m 49s
Bump rpylean to v2026.4.3 (#40) Actionlint #182: Commit 76859d6 pushed by nomeata
14s master
master
14s
merge nanoda into sonanoda, fixing bug (#41) Actionlint #181: Commit 9b8e20e pushed by nomeata
19s master
master
19s
merge nanoda into sonanoda, fixing bug Build and Deploy Site #220: Pull request #41 synchronize by datokrat
22m 15s datokrat:rebase-sonanoda
datokrat:rebase-sonanoda
22m 15s
merge nanoda into sonanoda, fixing bug Build and Deploy Site #219: Pull request #41 opened by datokrat
22m 42s datokrat:rebase-sonanoda
datokrat:rebase-sonanoda
22m 42s
Bump rpylean to v2026.4.3 Build and Deploy Site #218: Pull request #40 opened by Julian
15m 41s Julian:bump-rpylean-v2026.4.3
Julian:bump-rpylean-v2026.4.3
15m 41s
Build and Deploy Site Build and Deploy Site #217: Manually run by nomeata
4h 37m 23s master
master
4h 37m 23s
Add still-nanoda checker with some ongoing optimization efforts (#38) Actionlint #180: Commit 5fd2bee pushed by nomeata
10s master
master
10s
Build and Deploy Site Build and Deploy Site #216: Manually run by nomeata
4h 55m 26s master
master
4h 55m 26s
bump sonanoda: fix cache bug (#35) Actionlint #179: Commit d80d4ca pushed by nomeata
8s master
master
8s
Add still-nanoda checker with some ongoing optimization efforts Build and Deploy Site #215: Pull request #38 synchronize by SchrodingerZhu
24m 12s SchrodingerZhu:add-still-nanoda-checker
SchrodingerZhu:add-still-nanoda-checker
24m 12s
bump nanobruijn: port upstream nanoda infer_proj fix (#39) Actionlint #178: Commit 36ab1b3 pushed by nomeata
9s master
master
9s
bump nanobruijn: port upstream nanoda infer_proj fix Build and Deploy Site #214: Pull request #39 opened by nomeata
21m 41s nomeata/bump-nanobruijn-proj-fix
nomeata/bump-nanobruijn-proj-fix
21m 41s
bump nanobruijn: port upstream nanoda infer_proj fix Actionlint #177: Commit 1388539 pushed by nomeata
13s nomeata/bump-nanobruijn-proj-fix
nomeata/bump-nanobruijn-proj-fix
13s
Add still-nanoda checker with some ongoing optimization efforts Build and Deploy Site #213: Pull request #38 opened by SchrodingerZhu
22m 23s SchrodingerZhu:add-still-nanoda-checker
SchrodingerZhu:add-still-nanoda-checker
22m 23s
Build and Deploy Site Build and Deploy Site #212: Manually run by nomeata
4h 48m 13s master
master
4h 48m 13s
chore: bump nanoda ref (#37) Actionlint #176: Commit 6a8450e pushed by nomeata
10s master
master
10s
chore: bump nanoda ref Build and Deploy Site #211: Pull request #37 opened by ammkrn
22m 5s ammkrn:bump_nanoda_8d68
ammkrn:bump_nanoda_8d68
22m 5s
Build and Deploy Site Build and Deploy Site #210: Manually run by nomeata
5h 35m 43s master
master
5h 35m 43s
Add proj-of-prop soundness test (#36) Actionlint #175: Commit 8f2f715 pushed by nomeata
10s master
master
10s
Add proj-of-prop soundness test Build and Deploy Site #209: Pull request #36 synchronize by nomeata
21m 54s joachim/projOfProp
joachim/projOfProp
21m 54s
Fix proj-of-prop test to actually exercise the bug Actionlint #174: Commit 1d3f60c pushed by nomeata
13s joachim/projOfProp
joachim/projOfProp
13s
Add proj-of-prop soundness test Build and Deploy Site #208: Pull request #36 opened by nomeata
21m 46s joachim/projOfProp
joachim/projOfProp
21m 46s
Add proj-of-prop soundness test Actionlint #173: Commit e260f2b pushed by nomeata
9s joachim/projOfProp
joachim/projOfProp
9s