Refactor of opening reduction (stage 6 & 7) #4035
Triggered via pull request
December 18, 2025 02:47
Status
Cancelled
Total duration
4m 16s
Artifacts
–
rust.yml
on: pull_request
fmt
22s
clippy
1m 3s
machete
4s
Build Wasm
1m 44s
Test jolt-core
4m 12s
typos
5s
jolt binary check
4m 11s
Test inlines
1m 5s
Jolt SDK Verifier Tests
3m 55s
Test tracer
1m 38s
ZkLean extractor tests
2m 55s
Compile extracted Lean
2m 32s
Annotations
5 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.
|
|
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.
|
|
Build and Test Jolt
Canceling since a higher priority waiting request for Build and Test Jolt-better-opening-reduction exists
|