Refactor of opening reduction (stage 6 & 7) #4037
Triggered via pull request
December 18, 2025 03:39
Status
Cancelled
Total duration
3m 12s
Artifacts
–
rust.yml
on: pull_request
fmt
19s
clippy
1m 1s
machete
5s
Build Wasm
1m 39s
Test jolt-core
3m 6s
typos
6s
jolt binary check
3m 8s
Test inlines
59s
Jolt SDK Verifier Tests
3m 8s
Test tracer
1m 48s
ZkLean extractor tests
3m 6s
Compile extracted Lean
2m 30s
Annotations
9 errors
|
Test jolt-core
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
Test jolt-core
The operation was canceled.
|
|
ZkLean extractor tests
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
ZkLean extractor tests
The operation was canceled.
|
|
Jolt SDK Verifier Tests
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
Jolt SDK Verifier Tests
The operation was canceled.
|
|
jolt binary check
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
jolt binary check
The operation was canceled.
|
|
Build and Test Jolt
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|