fix(r1cs): We add a range check to the chunk #1142
mw2000rust.yml
on: pull_request
fmt
29s
clippy
1m 21s
machete
47s
Build Wasm
2m 31s
test
7m 28s
Onchain Verifier Tests
3m 6s
Annotations
2 errors and 9 warnings
|
fmt
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
|
|
test
Process completed with exit code 100.
|
|
fmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
fmt:
jolt-core/src/r1cs/constraints.rs#L300
Diff in /home/runner/work/jolt/jolt/jolt-core/src/r1cs/constraints.rs
|
|
fmt:
jolt-core/src/r1cs/inputs.rs#L347
Diff in /home/runner/work/jolt/jolt/jolt-core/src/r1cs/inputs.rs
|
|
fmt:
jolt-core/src/r1cs/inputs.rs#L425
Diff in /home/runner/work/jolt/jolt/jolt-core/src/r1cs/inputs.rs
|
|
machete
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build Wasm
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Onchain Verifier Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|