Skip to content

Actions: yetanotherco/lambda_vm

Actions

GPU Tests (merge queue)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gpu-tests.yml
713 workflow runs
713 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
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #713: Pull request #930 synchronize by MauroToscano
Skipped blake3-real-hash
blake3-real-hash
Skipped
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #712: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #711: Pull request #930 synchronize by MauroToscano
2s blake3-real-hash
blake3-real-hash
2s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #710: Pull request #930 synchronize by MauroToscano
9s blake3-real-hash
blake3-real-hash
9s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #709: Pull request #930 synchronize by MauroToscano
2s blake3-real-hash
blake3-real-hash
2s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #708: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #707: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #706: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
GPU Tests (merge queue) GPU Tests (merge queue) #705: Merge group checks requested
19m 49s
19m 49s
perf: make bump the default guest allocator GPU Tests (merge queue) #704: Pull request #869 synchronize by MauroToscano
1s perf/dlmalloc-guest-allocator
perf/dlmalloc-guest-allocator
1s
perf: make bump the default guest allocator GPU Tests (merge queue) #703: Pull request #869 synchronize by diegokingston
10s perf/dlmalloc-guest-allocator
perf/dlmalloc-guest-allocator
10s
fix: use CPU-aware prover scheduler GPU Tests (merge queue) #702: Pull request #897 synchronize by diegokingston
1s fix/cpu-prover-scheduler
fix/cpu-prover-scheduler
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #701: Pull request #930 synchronize by MauroToscano
2s blake3-real-hash
blake3-real-hash
2s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline GPU Tests (merge queue) #700: Pull request #923 synchronize by MauroToscano
2s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
2s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #699: Pull request #930 synchronize by MauroToscano
2s blake3-real-hash
blake3-real-hash
2s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline GPU Tests (merge queue) #698: Pull request #923 synchronize by MauroToscano
1s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
1s
fix(formal-verification): use unsigned ULE for the keccak gate's byte-range contract GPU Tests (merge queue) #697: Pull request #934 synchronize by MauroToscano
3s fix/keccak-z3-unsigned-byte-bound
fix/keccak-z3-unsigned-byte-bound
3s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline GPU Tests (merge queue) #696: Pull request #923 synchronize by MauroToscano
2s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
2s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #695: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #694: Pull request #930 synchronize by MauroToscano
1s blake3-real-hash
blake3-real-hash
1s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #693: Pull request #930 synchronize by MauroToscano
2s blake3-real-hash
blake3-real-hash
2s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) GPU Tests (merge queue) #692: Pull request #930 synchronize by MauroToscano
3s blake3-real-hash
blake3-real-hash
3s
docs(formal-verification): DMA memcpy GPU Tests (merge queue) #691: Pull request #926 synchronize by nicole-graus
2s feat/dma-memcpy-formal-verification
feat/dma-memcpy-formal-verification
2s
Formal verification for the ECSM affine selector GPU Tests (merge queue) #690: Pull request #925 synchronize by nicole-graus
1s verify/ecsm-affine-selector
verify/ecsm-affine-selector
1s
fix(gpu): recover device-only declines at the remaining cliff sites (R4 DEEP, comp-tree, R3 barycentric) GPU Tests (merge queue) #689: Pull request #935 opened by ColoCarletti
1s gpu-cliff-recovery
gpu-cliff-recovery
1s