Merge pull request #38 from OneSignal/adds-visiting-unit-type-for-opt… #56
Annotations
29 warnings
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, 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/.
|
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/
|
Install latest nightly
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/
|
Install latest nightly
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/
|
Install latest nightly
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/
|
Install latest nightly
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 cargo test:
src/types/map.rs#L1
the item `Ord` is imported redundantly
|
Run cargo test:
src/types/seq.rs#L1
the item `Ord` is imported redundantly
|
Run cargo test:
src/types/mod.rs#L27
unused import: `integer::*`
|
Run cargo test:
src/types/mod.rs#L42
the item `FromIterator` is imported redundantly
|
Run cargo test
`prusto` (lib) generated 4 warnings (run `cargo fix --lib -p prusto` to apply 1 suggestion)
|
Run cargo test
`prusto` (test "data_set") generated 1 warning
|
Run cargo test:
src/types/map.rs#L1
the item `Ord` is imported redundantly
|
Run cargo test:
src/types/seq.rs#L1
the item `Ord` is imported redundantly
|
Run cargo test:
src/types/mod.rs#L27
unused import: `integer::*`
|
Run cargo test:
src/types/mod.rs#L42
the item `FromIterator` is imported redundantly
|
Run cargo check (without dev-dependencies to catch missing feature flags)
flag `-Z features` has been stabilized in the 1.51 release, and is no longer necessary
|
Run cargo check (without dev-dependencies to catch missing feature flags):
src/types/map.rs#L1
the item `Ord` is imported redundantly
|
Run cargo check (without dev-dependencies to catch missing feature flags):
src/types/seq.rs#L1
the item `Ord` is imported redundantly
|
Run cargo check (without dev-dependencies to catch missing feature flags):
src/types/mod.rs#L27
unused import: `integer::*`
|
Run cargo check (without dev-dependencies to catch missing feature flags):
src/types/mod.rs#L42
the item `FromIterator` is imported redundantly
|
Run cargo check (without dev-dependencies to catch missing feature flags)
`prusto` (lib) generated 4 warnings (run `cargo fix --lib -p prusto` to apply 1 suggestion)
|
Run cargo check:
src/types/map.rs#L1
the item `Ord` is imported redundantly
|
Run cargo check:
src/types/seq.rs#L1
the item `Ord` is imported redundantly
|
Run cargo check:
src/types/mod.rs#L27
unused import: `integer::*`
|
Run cargo check:
src/types/mod.rs#L42
the item `FromIterator` is imported redundantly
|
Run cargo check
`prusto` (lib test) generated 4 warnings (4 duplicates)
|
Run cargo check:
tests/data_set.rs#L6
the item `FromIterator` is imported redundantly
|
Run cargo check
`prusto` (test "data_set") generated 1 warning
|
The logs for this run have expired and are no longer available.
Loading