Enrich ReducedToFalse prover/verifier error with pretty printed ErgoTree and evaluation environment #2288
Triggered via pull request
September 29, 2023 10:31
Status
Failure
Total duration
12m 12s
Artifacts
–
ci.yml
on: pull_request
Build without default features
5m 31s
Code coverage in tests
5m 35s
Clippy (linter)
4m 51s
Run JS tests and publish alpha versions
7m 44s
Code formatting (rustfmt)
35s
Check intra-documentation links
5m 38s
Test Swift(iOS) bindings
2m 25s
Test JNI(Android) bindings
11m 57s
Matrix: test
Annotations
21 errors and 61 warnings
Test Swift(iOS) bindings
Process completed with exit code 1.
|
missing field `diag` in initializer of `sigma_protocol::verifier::VerificationResult`:
ergotree-interpreter/src/sigma_protocol/verifier.rs#L86
error[E0063]: missing field `diag` in initializer of `sigma_protocol::verifier::VerificationResult`
--> ergotree-interpreter/src/sigma_protocol/verifier.rs:86:12
|
86 | Ok(VerificationResult {
| ^^^^^^^^^^^^^^^^^^ missing `diag`
|
`?` couldn't convert the error to `sigma_protocol::prover::ProverError`:
ergotree-interpreter/src/sigma_protocol/prover.rs#L171
error[E0277]: `?` couldn't convert the error to `sigma_protocol::prover::ProverError`
--> ergotree-interpreter/src/sigma_protocol/prover.rs:171:10
|
171 | }?;
| ^ the trait `std::convert::From<fn(eval::ReductionDiagnosticInfo) -> sigma_protocol::prover::ProverError {sigma_protocol::prover::ProverError::ReducedToFalse}>` is not implemented for `sigma_protocol::prover::ProverError`
|
= note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
= help: the following other types implement trait `std::convert::From<T>`:
<sigma_protocol::prover::ProverError as std::convert::From<ergotree_ir::ergo_tree::ErgoTreeError>>
<sigma_protocol::prover::ProverError as std::convert::From<gf2_192::Gf2_192Error>>
<sigma_protocol::prover::ProverError as std::convert::From<gf2_192::gf2_192poly::Gf2_192PolyError>>
<sigma_protocol::prover::ProverError as std::convert::From<sigma_protocol::fiat_shamir::FiatShamirTreeSerializationError>>
= note: required for `std::result::Result<sigma_protocol::prover::prover_result::ProofBytes, sigma_protocol::prover::ProverError>` to implement `std::ops::FromResidual<std::result::Result<std::convert::Infallible, fn(eval::ReductionDiagnosticInfo) -> sigma_protocol::prover::ProverError {sigma_protocol::prover::ProverError::ReducedToFalse}>>`
|
Clippy (linter)
Clippy had exited with the 101 exit code
|
Tests on ubuntu-latest:
ergotree-interpreter/src/sigma_protocol/prover.rs#L171
`?` couldn't convert the error to `ProverError`
|
Tests on ubuntu-latest:
ergotree-interpreter/src/sigma_protocol/verifier.rs#L86
missing field `diag` in initializer of `VerificationResult`
|
Tests on ubuntu-latest
could not compile `ergotree-interpreter` due to 2 previous errors
|
Tests on ubuntu-latest
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Tests on macOS-latest
The operation was canceled.
|
Tests on windows-latest
The operation was canceled.
|
Build without default features:
ergotree-interpreter/src/sigma_protocol/prover.rs#L171
`?` couldn't convert the error to `ProverError`
|
Build without default features:
ergotree-interpreter/src/sigma_protocol/verifier.rs#L86
missing field `diag` in initializer of `VerificationResult`
|
Build without default features
could not compile `ergotree-interpreter` due to 2 previous errors
|
Build without default features
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Code coverage in tests
Process completed with exit code 1.
|
Check intra-documentation links:
ergotree-interpreter/src/sigma_protocol/prover.rs#L171
`?` couldn't convert the error to `ProverError`
|
Check intra-documentation links:
ergotree-interpreter/src/sigma_protocol/verifier.rs#L86
missing field `diag` in initializer of `VerificationResult`
|
Check intra-documentation links
could not compile `ergotree-interpreter` due to 2 previous errors
|
Check intra-documentation links
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
Run JS tests and publish alpha versions
Process completed with exit code 1.
|
Test JNI(Android) bindings
The process '/bin/sh' failed with exit code 1
|
Code formatting (rustfmt)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Code formatting (rustfmt)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Code formatting (rustfmt)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Code formatting (rustfmt)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Code formatting (rustfmt)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test Swift(iOS) bindings
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Test Swift(iOS) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test Swift(iOS) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test Swift(iOS) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test Swift(iOS) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy (linter)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Clippy (linter)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy (linter)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy (linter)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy (linter)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on ubuntu-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Tests on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on ubuntu-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on macOS-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Tests on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on macOS-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on windows-latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Tests on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Tests on windows-latest
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Build without default features
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build without default features
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Build without default features
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Build without default features
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Build without default features
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Code coverage in tests
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check intra-documentation links
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L3
unclosed HTML tag `i8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L3
unclosed HTML tag `u8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L5
unclosed HTML tag `i8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L5
unclosed HTML tag `u8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L15
unclosed HTML tag `i8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L15
unclosed HTML tag `u8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L17
unclosed HTML tag `u8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L27
unclosed HTML tag `u8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L27
unclosed HTML tag `i8`
|
Check intra-documentation links:
sigma-util/src/vec_ext.rs#L29
unclosed HTML tag `i8`
|
Check intra-documentation links
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check intra-documentation links
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check intra-documentation links
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check intra-documentation links
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Run JS tests and publish alpha versions
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Run JS tests and publish alpha versions
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Run JS tests and publish alpha versions
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Run JS tests and publish alpha versions
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Run JS tests and publish alpha versions
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test JNI(Android) bindings
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/toolchain@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Test JNI(Android) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test JNI(Android) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test JNI(Android) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Test JNI(Android) bindings
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|