Skip to content

Actions: yetanotherco/lambda_vm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
ACT4 Nightly ACT4 Nightly #124: completed by github-merge-queue Bot
3m 36s
3m 36s
Bench Vs Nightly Bench Vs Nightly #170: Scheduled
6m 58s main
main
6m 58s
Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 121.7 s Integration Tests #5326: Pull request #985 synchronize by MauroToscano
3h 50m 3s per-table-gpu
per-table-gpu
3h 50m 3s
Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 121.7 s GPU Tests (merge queue) #967: Pull request #985 synchronize by MauroToscano
2s per-table-gpu
per-table-gpu
2s
Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 121.7 s ethrex block-converter tests #141: Pull request #985 synchronize by MauroToscano
5m 12s per-table-gpu
per-table-gpu
5m 12s
Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 121.7 s Hyperfine Benchmark #1496: Pull request #985 synchronize by MauroToscano
4m 51s per-table-gpu
per-table-gpu
4m 51s
Per-table GPU recursion (RPX) with ZisK-style proof formats: block 25368371 in 121.7 s Spec tests #2603: Pull request #985 synchronize by MauroToscano
8s per-table-gpu
per-table-gpu
8s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s AI Review #688: Issue comment #1008 (comment) created by MauroToscano
1s
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Benchmark (PR) #1828: Issue comment #1008 (comment) created by MauroToscano
1s
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Benchmark GPU (PR) #550: Issue comment #1008 (comment) created by MauroToscano
1s
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Profile Recursion (PR) #449: Issue comment #1008 (comment) created by MauroToscano
1s
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Bench ABBA tiebreaker #564: Issue comment #1008 (comment) created by MauroToscano
1s
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Bench verifier #473: Issue comment #1008 (comment) created by MauroToscano
10s
10s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Spec tests #2602: Pull request #1004 synchronize by MauroToscano
9s whir/recursion-rpx
whir/recursion-rpx
9s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s GPU Tests (merge queue) #966: Pull request #1004 synchronize by MauroToscano
1s whir/recursion-rpx
whir/recursion-rpx
1s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Integration Tests #5325: Pull request #1004 synchronize by MauroToscano
3h 45m 52s whir/recursion-rpx
whir/recursion-rpx
3h 45m 52s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s ethrex block-converter tests #140: Pull request #1004 synchronize by MauroToscano
3m 51s whir/recursion-rpx
whir/recursion-rpx
3m 51s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Hyperfine Benchmark #1495: Pull request #1004 synchronize by MauroToscano
5m 24s whir/recursion-rpx
whir/recursion-rpx
5m 24s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Integration Tests #5324: Pull request #1008 opened by MauroToscano
3h 43m 28s zf/whir-rpx
zf/whir-rpx
3h 43m 28s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Hyperfine Benchmark #1494: Pull request #1008 opened by MauroToscano
5m 26s zf/whir-rpx
zf/whir-rpx
5m 26s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s Spec tests #2601: Pull request #1008 opened by MauroToscano
7s zf/whir-rpx
zf/whir-rpx
7s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s ethrex block-converter tests #139: Pull request #1008 opened by MauroToscano
10m 28s zf/whir-rpx
zf/whir-rpx
10m 28s
WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 107.5 s GPU Tests (merge queue) #965: Pull request #1008 opened by MauroToscano
10s zf/whir-rpx
zf/whir-rpx
10s
Merge main (#996, jemalloc never-purge compiled in) into the WHIR pip… Spec tests #2600: Commit 169b668 pushed by MauroToscano
11s zf/whir-rpx
zf/whir-rpx
11s
spec: Field VM Spec tests #2599: Pull request #971 synchronize by RobinJadoul
11s spec/recursion.vm
spec/recursion.vm
11s