Skip to content
CI

Introduce SmtProof #985

Sign in to view logs

Introduce SmtProof

Introduce SmtProof #985

Triggered via pull request February 5, 2024 22:35
@plaferplafer
synchronize #270
plafer-issue-251
Status Failure
Total duration 1m 3s
Artifacts –

ci.yml

on: pull_request
Matrix: clippy
Matrix: docs
Matrix: no-std
Matrix: rustfmt
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

43 errors and 54 warnings
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L201
cannot find macro `vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L145
cannot find macro `vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L123
cannot find macro `vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L13
cannot find type `Vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L25
cannot find type `Vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L55
cannot find type `Vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L110
cannot find type `Vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L120
cannot find type `Vec` in this scope
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L122
failed to resolve: use of undeclared type `Vec`
build nightly no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L132
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L201
cannot find macro `vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L145
cannot find macro `vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L123
cannot find macro `vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L13
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L25
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L55
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L110
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L120
cannot find type `Vec` in this scope
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L122
failed to resolve: use of undeclared type `Vec`
build stable no-std for wasm32-unknown-unknown: src/merkle/smt/full/leaf.rs#L132
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L201
cannot find macro `vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L145
cannot find macro `vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L123
cannot find macro `vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L13
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L25
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L55
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L110
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L120
cannot find type `Vec` in this scope
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L122
failed to resolve: use of undeclared type `Vec`
test stable on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L132
cannot find type `Vec` in this scope
Verify the docs on stable: src/merkle/smt/full/leaf.rs#L91
unresolved link to `Smt`
Verify the docs on stable
could not document `miden-crypto`
Verify the docs on stable
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L201
cannot find macro `vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L145
cannot find macro `vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L123
cannot find macro `vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L13
cannot find type `Vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L25
cannot find type `Vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L55
cannot find type `Vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L110
cannot find type `Vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L120
cannot find type `Vec` in this scope
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L122
failed to resolve: use of undeclared type `Vec`
test nightly on ubuntu with --no-default-features: src/merkle/smt/full/leaf.rs#L132
cannot find type `Vec` in this scope
rustfmt nightly on ubuntu
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
rustfmt nightly on ubuntu
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
rustfmt nightly on ubuntu
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/
rustfmt nightly on ubuntu
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/
rustfmt nightly on ubuntu
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/
rustfmt nightly on ubuntu
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 nightly no-std for wasm32-unknown-unknown
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build nightly no-std for wasm32-unknown-unknown
The following actions uses node12 which is deprecated and will be forced to run on node16: 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 nightly no-std for wasm32-unknown-unknown
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 nightly no-std for wasm32-unknown-unknown
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 nightly no-std for wasm32-unknown-unknown
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 nightly no-std for wasm32-unknown-unknown
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 stable no-std for wasm32-unknown-unknown
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build stable no-std for wasm32-unknown-unknown
The following actions uses node12 which is deprecated and will be forced to run on node16: 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 stable no-std for wasm32-unknown-unknown
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 stable no-std for wasm32-unknown-unknown
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 stable no-std for wasm32-unknown-unknown
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 stable no-std for wasm32-unknown-unknown
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 stable on ubuntu with --no-default-features
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test stable on ubuntu with --no-default-features
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
test stable on ubuntu with --no-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/
test stable on ubuntu with --no-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/
test stable on ubuntu with --no-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/
test stable on ubuntu with --no-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/
Verify the docs on stable
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Verify the docs on stable
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
Verify the docs on stable
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/
Verify the docs on stable
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/
Verify the docs on stable
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/
Verify the docs on stable
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 nightly on ubuntu with --no-default-features
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test nightly on ubuntu with --no-default-features
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
test nightly on ubuntu with --no-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/
test nightly on ubuntu with --no-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/
test nightly on ubuntu with --no-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/
test nightly on ubuntu with --no-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/
test stable on ubuntu with --features default,serde
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test stable on ubuntu with --features default,serde
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
test stable on ubuntu with --features default,serde
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 stable on ubuntu with --features default,serde
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 stable on ubuntu with --features default,serde
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 stable on ubuntu with --features default,serde
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 nightly on ubuntu
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
clippy nightly on ubuntu
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
clippy nightly on ubuntu
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 nightly on ubuntu
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 nightly on ubuntu
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 nightly on ubuntu
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 nightly on ubuntu with --features default,serde
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test nightly on ubuntu with --features default,serde
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
test nightly on ubuntu with --features default,serde
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 nightly on ubuntu with --features default,serde
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 nightly on ubuntu with --features default,serde
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 nightly on ubuntu with --features default,serde
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/