Skip to content

Actions: yetanotherco/lambda_vm

Actions

Benchmark (PR)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark-pr.yml
1,864 workflow runs
1,864 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 Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Benchmark (PR) #1873: Issue comment #1030 (comment) created by claude Bot
1s
1s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Benchmark (PR) #1872: Issue comment #1030 (comment) created by jotabulacios
8s
8s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Benchmark (PR) #1871: Issue comment #1030 (comment) created by claude Bot
10s
10s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Benchmark (PR) #1870: Issue comment #1030 (comment) created by jotabulacios
2s
2s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Benchmark (PR) #1869: Issue comment #1027 (comment) created by claude Bot
5m 6s
5m 6s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Benchmark (PR) #1868: Issue comment #1027 (comment) created by MauroToscano
5m 41s
5m 41s
Derive page configs without a per-byte image Benchmark (PR) #1867: Issue comment #1006 (comment) created by claude Bot
4m 8s
4m 8s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Benchmark (PR) #1866: Issue comment #1027 (comment) created by MauroToscano
7m 37s
7m 37s
Derive page configs without a per-byte image Benchmark (PR) #1865: Issue comment #1006 (comment) created by MauroToscano
7m 41s
7m 41s
Fix: pin final PC to halt (#1020) Benchmark (PR) #1864: Commit 6337e5d pushed by github-merge-queue Bot
6m 55s main
main
6m 55s
Feat/is whh (#1022) Benchmark (PR) #1863: Commit e70bde4 pushed by github-merge-queue Bot
6m 53s main
main
6m 53s
Fix: Constrain table multiplicities (#1016) Benchmark (PR) #1862: Commit 8e413a3 pushed by github-merge-queue Bot
6m 56s main
main
6m 56s
Unify memcpy, memmove, memset and commit on one accelerator (#984) Benchmark (PR) #1861: Commit 861d517 pushed by github-merge-queue Bot
6m 50s main
main
6m 50s
Feat/is whh Benchmark (PR) #1860: Issue comment #1022 (comment) created by claude Bot
2s
2s
Feat/is whh Benchmark (PR) #1859: Issue comment #1022 (comment) created by jotabulacios
1s
1s
Fix: Preprocess the CPU timestamp Benchmark (PR) #1858: Issue comment #1025 (comment) created by claude Bot
12m 44s
12m 44s
Fix: Preprocess the CPU timestamp Benchmark (PR) #1857: Issue comment #1025 (comment) created by nicole-graus
42m 57s
42m 57s
Fix: Preprocess the CPU timestamp Benchmark (PR) #1856: Issue comment #1025 (comment) created by nicole-graus
2m 51s
2m 51s
Fix: Preprocess the CPU timestamp Benchmark (PR) #1855: Issue comment #1025 (comment) created by nicole-graus
3m 2s
3m 2s
Feat/is whh Benchmark (PR) #1854: Issue comment #1022 (comment) created by nicole-graus
12m 13s
12m 13s
Feat/is whh Benchmark (PR) #1853: Issue comment #1022 (comment) created by claude Bot
1s
1s
Feat/is whh Benchmark (PR) #1852: Issue comment #1022 (comment) created by jotabulacios
9s
9s
Fix: Constrain table multiplicities Benchmark (PR) #1851: Issue comment #1016 (comment) created by claude Bot
1s
1s
Fix: pin final PC to halt Benchmark (PR) #1850: Issue comment #1020 (comment) created by claude Bot
1s
1s
Fix: pin final PC to halt Benchmark (PR) #1849: Issue comment #1020 (comment) created by nicole-graus
9s
9s