Skip to content
CUDA Lane

test(§TB1): z3 proof driver for batched B2 GEMM rewrite (3 positives … #180

Sign in to view logs

test(§TB1): z3 proof driver for batched B2 GEMM rewrite (3 positives …

test(§TB1): z3 proof driver for batched B2 GEMM rewrite (3 positives … #180

Triggered via push June 5, 2026 13:28
@apstenku123apstenku123
pushed 28b212c
main
Status Cancelled
Total duration 1d 0h 0m 2s
Artifacts –

cuda-lane.yml

on: push
Run CUDA-only tests
1d 0h
Run CUDA-only tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run CUDA-only tests
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s