Skip to content

Actions: leanEthereum/leanBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
run + trend pages: merge per-workload charts into multi-line sweeps Deploy benchmark site to Pages #66: Commit 26f79cc pushed by unnawut
27s main
main
27s
run/trend pages: recursion-only over bundled tree timing Deploy benchmark site to Pages #65: Commit c2d5174 pushed by unnawut
29s main
main
29s
trend tooltip: narrower wrap width so annotation lines don't clip Deploy benchmark site to Pages #64: Commit eb05262 pushed by unnawut
32s main
main
32s
trend tooltip: annotation above the value, no left color-box padding Deploy benchmark site to Pages #63: Commit 26b23dd pushed by unnawut
29s main
main
29s
trend page: fold annotations into per-point tooltip Deploy benchmark site to Pages #62: Commit 9853aa2 pushed by unnawut
55s main
main
55s
annotation: b00d6ba3 — perf-opts window (PR #235, slice hashing, lazy… Deploy benchmark site to Pages #61: Commit 1b574bb pushed by unnawut
25s main
main
25s
trend page: shared x-axis range across every chart Deploy benchmark site to Pages #60: Commit 24dcd40 pushed by unnawut
25s main
main
25s
annotations: key off leanVM commit only, drop leanSig Deploy benchmark site to Pages #59: Commit ceb0e8a pushed by unnawut
26s main
main
26s
result schema: split bench time from leanVM commit time Deploy benchmark site to Pages #58: Commit f2b4922 pushed by unnawut
22s main
main
22s
results: backdate cut timestamps to leanVM commit author dates Deploy benchmark site to Pages #57: Commit d8c6368 pushed by unnawut
28s main
main
28s
results + annotation: devnet5 cut at 9d53d2db (table ordering + dynam… Deploy benchmark site to Pages #56: Commit 9233333 pushed by unnawut
29s main
main
29s
results + annotation: devnet5 cut at 5b9f3b93 (bus/logup/zerocheck, M… Deploy benchmark site to Pages #55: Commit 257be34 pushed by unnawut
1m 25s main
main
1m 25s
results + annotation: devnet5 cut at e51d4c25 (recursion +10%, May 19) Deploy benchmark site to Pages #54: Commit 28ecfc1 pushed by unnawut
1m 8s main
main
1m 8s
results + annotation: devnet5 cut at 8fbe00b5 (fiat-shamir duplex, Ma… Deploy benchmark site to Pages #53: Commit d809d46 pushed by unnawut
1m 22s main
main
1m 22s
results + annotation: devnet5 cut at b71994cf (recursion unroll, May 13) Deploy benchmark site to Pages #52: Commit fc83af4 pushed by unnawut
28s main
main
28s
site: rename trend "markings" → "annotations" for consistency Deploy benchmark site to Pages #51: Commit d02fd19 pushed by unnawut
1m 13s main
main
1m 13s
results + annotation: devnet5 cut at c868330c (SIMD/packing, May 11-12) Deploy benchmark site to Pages #50: Commit f0648ee pushed by unnawut
24s main
main
24s
results + annotation: devnet5 cut at a82c65ee (Poseidon AIR + sumcheck) Deploy benchmark site to Pages #49: Commit a4fccda pushed by unnawut
28s main
main
28s
remote-bench: drop n1-standard-4 from default matrix Deploy benchmark site to Pages #48: Commit 0067f92 pushed by unnawut
25s main
main
25s
site: use middle dot as h1 separator for visual consistency Deploy benchmark site to Pages #47: Commit 1dde5e9 pushed by unnawut
24s main
main
24s
site: rename "combo" → "commit" in user-visible strings Deploy benchmark site to Pages #46: Commit e7f5e13 pushed by unnawut
25s main
main
25s
site: replace stale runs tagline with one that matches the page Deploy benchmark site to Pages #45: Commit a26d2a6 pushed by unnawut
23s main
main
23s
site: drop stale tagline on runs page Deploy benchmark site to Pages #44: Commit 3a65874 pushed by unnawut
31s main
main
31s
site: append page name to h1 inline ("leanBench - Runs" etc.) Deploy benchmark site to Pages #43: Commit 1eeb78e pushed by unnawut
35s main
main
35s
site: h1 click sends user back to the front page Deploy benchmark site to Pages #42: Commit c2bb78f pushed by unnawut
26s main
main
26s