Refactor of opening reduction (stage 6 & 7) #4042
Triggered via pull request
December 18, 2025 04:16
Status
Cancelled
Total duration
1m 56s
Artifacts
–
rust.yml
on: pull_request
fmt
24s
clippy
1m 0s
machete
6s
Build Wasm
1m 33s
Test jolt-core
1m 32s
typos
5s
jolt binary check
1m 31s
Test inlines
1m 1s
Jolt SDK Verifier Tests
1m 32s
Test tracer
1m 33s
ZkLean extractor tests
1m 31s
Compile extracted Lean
1m 32s
Annotations
15 errors
|
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.
|
|
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.
|
|
Compile extracted Lean
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
Compile extracted Lean
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.
|
|
Build Wasm
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
Build Wasm
The operation was canceled.
|
|
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.
|
|
Test tracer
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|
|
Test tracer
The operation was canceled.
|
|
Build and Test Jolt
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|