Fix correctness issue in ZkProgram typing #4985
Trivo25build-action.yml
on: pull_request
Prepare
1m 2s
Matrix: Run unit tests parallel
Matrix: Build-And-Test-Server
Check-mina-commit
0s
Build-And-Test-Server (Unit tests)
0s
Annotations
10 errors and 1 warning
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L187
Type '(xs: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L195
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L202
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L208
Type '(x: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L214
Type '(x: any, y: any) => Promise<{ publicOutput: Field3; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L220
Type '(x: any, y: any) => Promise<{ publicOutput: any; }>' is not assignable to type '(...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<void>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L272
Argument of type '(xs: Field3[]) => Promise<void>' is not assignable to parameter of type '(args_0: Field3[]) => Field3 | Promise<Field3>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L286
Argument of type '(x: Field3, y: Field3) => Promise<void>' is not assignable to parameter of type '(args_0: Field3, args_1: Field3) => Field3 | Promise<Field3>'.
|
|
Prepare:
src/lib/provable/test/foreign-field-gadgets.unit-test.ts#L296
Argument of type '(x: Field3, y: Field3) => Promise<void>' is not assignable to parameter of type '(args_0: Field3, args_1: Field3) => Field3 | Promise<Field3>'.
|
|
Prepare
Process completed with exit code 2.
|
|
Prepare
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|