Skip to content
This repository was archived by the owner on May 7, 2026. It is now read-only.

Actions: ReamLabs/leanBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
readme: announce transfer to leanEthereum/leanBench Deploy benchmark site to Pages #80: Commit 029bbcc pushed by unnawut
29s main
main
29s
readme: announce transfer to leanEthereum/leanBench Deploy benchmark site to Pages #79: Commit 7999885 pushed by unnawut
43s main
main
43s
ci: fingerprint static assets at deploy time Deploy benchmark site to Pages #78: Commit 5efb1dd pushed by unnawut
37s main
main
37s
topology: log fetch failure to console for easier debugging Deploy benchmark site to Pages #77: Commit 9a3fcc1 pushed by unnawut
39s main
main
39s
site: self-host Chart.js to remove jsdelivr CDN dependency Deploy benchmark site to Pages #76: Commit 84fb66e pushed by unnawut
42s main
main
42s
topology: add layers column and paginated candidate table Deploy benchmark site to Pages #75: Commit e15a6e7 pushed by unnawut
47s main
main
47s
topology: keep root-first label, swap rec wall ↔ leaf wall column order Deploy benchmark site to Pages #74: Commit 7149982 pushed by unnawut
32s main
main
32s
topology: bottom-up reading order — label and rec-wall breakdown Deploy benchmark site to Pages #73: Commit a7fc7b5 pushed by unnawut
28s main
main
28s
trend: thicker proof-line stroke; dim axis titles Deploy benchmark site to Pages #72: Commit 99713b9 pushed by unnawut
28s main
main
28s
trend: hide chart legend, soften the proof-size line Deploy benchmark site to Pages #71: Commit 4f44f72 pushed by unnawut
29s main
main
29s
trend: combine timing + proof-size into a single dual-axis chart per … Deploy benchmark site to Pages #70: Commit fa85d74 pushed by unnawut
51s main
main
51s
trend: add 'Root proof sizes across combos' chart section Deploy benchmark site to Pages #69: Commit 4dc19c7 pushed by unnawut
48s main
main
48s
site: add Plausible analytics on every page Deploy benchmark site to Pages #68: Commit 6c2eedd pushed by unnawut
42s main
main
42s
results: c4-standard-32 second run at f5e2299b — confirms first run Deploy benchmark site to Pages #67: Commit a76b202 pushed by unnawut
47s main
main
47s
topology: cost-model labels 'r' → 'recursion', 'proof' → 'proof_size' Deploy benchmark site to Pages #66: Commit cde9aba pushed by unnawut
49s main
main
49s
runner: update xmss.sign n=300 rationale for the post-grinding world Deploy benchmark site to Pages #65: Commit 60283b3 pushed by unnawut
46s main
main
46s
results: full-matrix sweep at leanMultisig f5e2299b Deploy benchmark site to Pages #64: Commit f4d17dd pushed by unnawut
51s main
main
51s
results: apple-m1-max at leanMultisig f5e2299b (local) Deploy benchmark site to Pages #63: Commit 485c901 pushed by unnawut
41s main
main
41s
runner: bump leanMultisig pin to f5e2299b Deploy benchmark site to Pages #62: Commit 17a96e8 pushed by unnawut
36s main
main
36s
trend: tighter table caption — 'Click a combo to browse its detailed … Deploy benchmark site to Pages #61: Commit c864b8c pushed by unnawut
39s main
main
39s
site: dedicated /trend page — one chart per workload, linear y-axis Deploy benchmark site to Pages #60: Commit 4e0c977 pushed by unnawut
43s main
main
43s
topology: page title is 'Topology Explorer', not 'leanBench' Deploy benchmark site to Pages #59: Commit 1d72bd5 pushed by unnawut
38s main
main
38s
site: 'back to bench' button on topology page; nav-link rename Deploy benchmark site to Pages #58: Commit be5cc7d pushed by unnawut
34s main
main
34s
topology: combo dropdown drives cost-model + machine list Deploy benchmark site to Pages #57: Commit daa0b77 pushed by unnawut
31s main
main
31s
site: right-align topology link in the filter row Deploy benchmark site to Pages #56: Commit 4668c7d pushed by unnawut
39s main
main
39s