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
spec: ECSM affine ecall variant Codex Code Review #1863: Pull request #932 opened by nicole-graus
1m 24s spec/ecsm-affine-selector
spec/ecsm-affine-selector
1m 24s
spec: ECSM affine ecall variant Claude Code Review #1859: Pull request #932 opened by nicole-graus
16s spec/ecsm-affine-selector
spec/ecsm-affine-selector
16s
spec: ECSM affine ecall variant Kimi Code Review #317: Pull request #932 opened by nicole-graus
13s spec/ecsm-affine-selector
spec/ecsm-affine-selector
13s
spec: ECSM affine ecall variant Spec tests #2279: Pull request #932 opened by nicole-graus
17s spec/ecsm-affine-selector
spec/ecsm-affine-selector
17s
spec: DMA memcpy accelerator Spec tests #2278: Pull request #931 opened by nicole-graus
13s spec/dma-memcpy
spec/dma-memcpy
13s
spec: DMA memcpy accelerator GPU Tests (merge queue) #675: Pull request #931 opened by nicole-graus
1s spec/dma-memcpy
spec/dma-memcpy
1s
Correct the padding, chunk-width and zero-length claims in the DMA ch… Spec tests #2277: Commit 1dd720b pushed by nicole-graus
10s spec/dma-memcpy
spec/dma-memcpy
10s
Cite the memory-granularity rule and correct the x-only claim Spec tests #2276: Commit 3837f1d pushed by nicole-graus
9s spec/ecsm-affine-selector
spec/ecsm-affine-selector
9s
Spec the ECSM affine ecall variant and its IS_AFFINE selector Spec tests #2275: Commit 29ae662 pushed by nicole-graus
9s spec/ecsm-affine-selector
spec/ecsm-affine-selector
9s
Add DMA memcpy accelerator to the spec Spec tests #2274: Commit 4a39c38 pushed by nicole-graus
10s spec/dma-memcpy
spec/dma-memcpy
10s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline Spec tests #2273: Pull request #923 synchronize by MauroToscano
13s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
13s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline Integration Tests #5022: Pull request #923 synchronize by MauroToscano
12m 26s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
12m 26s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline GPU Tests (merge queue) #674: Pull request #923 synchronize by MauroToscano
1s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
1s
docs(formal-verification): DMA memcpy Integration Tests #5021: Pull request #926 opened by nicole-graus
17m 38s feat/dma-memcpy-formal-verification
feat/dma-memcpy-formal-verification
17m 38s
docs(formal-verification): DMA memcpy ethrex block-converter tests #42: Pull request #926 opened by nicole-graus
4m 24s feat/dma-memcpy-formal-verification
feat/dma-memcpy-formal-verification
4m 24s
docs(formal-verification): DMA memcpy GPU Tests (merge queue) #673: Pull request #926 opened by nicole-graus
6s feat/dma-memcpy-formal-verification
feat/dma-memcpy-formal-verification
6s
Formal verification for the ECSM affine selector GPU Tests (merge queue) #672: Pull request #925 opened by nicole-graus
7s verify/ecsm-affine-selector
verify/ecsm-affine-selector
7s
Formal verification for the ECSM affine selector Integration Tests #5020: Pull request #925 opened by nicole-graus
18m 19s verify/ecsm-affine-selector
verify/ecsm-affine-selector
18m 19s
fix(gpu): cap the GPU test targets, count the aux retries, split the downgrade counter Integration Tests #5019: Pull request #924 opened by MauroToscano
18m 7s review/921-followups
review/921-followups
18m 7s
fix(gpu): cap the GPU test targets, count the aux retries, split the downgrade counter ethrex block-converter tests #41: Pull request #924 opened by MauroToscano
4m 20s review/921-followups
review/921-followups
4m 20s
fix(gpu): cap the GPU test targets, count the aux retries, split the downgrade counter GPU Tests (merge queue) #671: Pull request #924 opened by MauroToscano
1s review/921-followups
review/921-followups
1s
Chore/bump ethrex rev AI Review #565: Issue comment #894 (comment) created by diegokingston
14s
14s
Chore/bump ethrex rev Benchmark (PR) #1695: Issue comment #894 (comment) created by diegokingston
11m 41s
11m 41s
Chore/bump ethrex rev Profile Recursion (PR) #327: Issue comment #894 (comment) created by diegokingston
2s
2s
Chore/bump ethrex rev Benchmark GPU (PR) #428: Issue comment #894 (comment) created by diegokingston
9s
9s