Closed viper-admin closed 6 months ago
v-2023-12-06-0725
nightly-2023-12-15
cargo audit
cargo update
@fpoli could you take care of this?
Pending on #1470
fpoli
commented
6 months ago fpoli
commented
6 months ago
v-2023-12-06-0725.nightly-2023-12-15.cargo auditand fix the issues.cargo update.List of direct outdated dependencies:
``` $ mv prusti-contracts/Cargo.toml prusti-contracts/Cargo_disabled.toml $ cargo outdated --root-deps-only --workspace info: syncing channel updates for 'nightly-2023-12-15-x86_64-unknown-linux-gnu' info: latest update on 2023-12-15, rust version 1.76.0-nightly (de686cbc6 2023-12-14) info: downloading component 'cargo' info: downloading component 'clippy' info: downloading component 'llvm-tools' info: downloading component 'rust-std' info: downloading component 'rustc' info: downloading component 'rustc-dev' info: downloading component 'rustfmt' info: installing component 'cargo' info: installing component 'clippy' info: installing component 'llvm-tools' info: installing component 'rust-std' info: installing component 'rustc' info: installing component 'rustc-dev' info: installing component 'rustfmt' Updating git repository `https://github.com/rust-lang/cargo.git` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/crates/cargo-test-support/containers/sshd/bar` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_dep_feature/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_feature/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-target.in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/offline/out` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-a` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-b` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_dep/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-basic.in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/build/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section_dep/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target_dep/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_replace/out/my-package` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_dev/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/no_arg/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_dev/out` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-a` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-b` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/avoid_empty_tables/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/in/my-package` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/out/my-package` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_arg/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove_basic/out` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package/out/dep-a` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package/out/dep-b` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_build/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/dry_run/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_deps/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/in/my-package` warning: skipping duplicate package `my-other-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/out/my-other-package` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/out/my-package` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/in` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/out` warning: skipping duplicate package `my-member` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/out/my-member` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_git_with_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_git_with_path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_unsorted/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name_conflicts_full_feature/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features_with_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_with_rename/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/registry/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/require_weak/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inline_features/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/build_prefer_existing_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_git/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_preserves_inline_table/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_sorted/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/features_preserve/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_overwrite_inherit_dependency/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_overwrite_inherit_dependency/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/change_rename_target/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/git_registry/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename_noop/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/primary` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional_with_optional/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_features/in` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_name_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/lockfile_updated/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/locked_unchanged/in` warning: skipping duplicate package `optional-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/optional` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/primary` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_name_dev_noop/in/dependency` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/dev_prefer_existing_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional_with_no_optional/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/sorted_table_with_dotted_item/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features_with_no_default_features/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_no_rename/in` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_section/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/add-basic.in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features/in` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_both_binlib_present/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/formats_source/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/mercurial_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/pijul_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_src/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_library_when_instructed_and_has_bin_file/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/auto_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_bin_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/fossil_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_namesrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/ignores_failure_to_format_source/out` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/git_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_namenosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_nosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_instructed_and_has_lib_file/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_lib/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/explicit_bin_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_nosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg_ignore_exists/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit_nosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_lib_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git_ignore_exists/out` analysis ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Normal --- serde 1.0.188 --- 1.0.193 Normal --- serde_json 1.0.107 --- 1.0.108 Normal --- syn 1.0.109 --- 2.0.41 Normal --- prusti-utils ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- config 0.13.3 --- 0.13.4 Normal --- itertools 0.11.0 --- 0.12.0 Normal --- serde 1.0.188 --- 1.0.193 Normal --- toml 0.7.8 --- 0.8.8 Normal --- uuid 1.4.1 --- 1.6.1 Normal --- tracing ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- tracing 0.1.37 --- 0.1.40 Normal --- proc-macro-tracing ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.67 --- 1.0.70 Normal --- syn 1.0.109 --- 2.0.41 Normal --- prusti ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Normal --- tracing-subscriber 0.3.17 --- 0.3.18 Normal --- prusti-common ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- config 0.13.3 --- 0.13.4 Normal --- itertools 0.11.0 --- 0.12.0 Normal --- serde 1.0.188 --- 1.0.193 Normal --- uuid 1.4.1 --- 1.6.1 Normal --- viper ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Development --- futures 0.3.28 --- 0.3.29 Normal --- jni 0.20.0 --- 0.21.1 Normal --- serde 1.0.188 --- 1.0.193 Normal --- tokio 1.32.0 --- 1.35.0 Normal --- uuid 1.4.1 --- 1.6.1 Normal --- smt-log-analyzer ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- csv 1.2.2 --- 1.3.0 Normal --- viper-sys ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Normal --- jni 0.20.0 --- 0.21.1 Normal --- once_cell 1.18.0 --- 1.19.0 Normal --- tempfile 3.8.0 --- 3.8.1 Build --- ureq 2.7.1 --- 2.9.1 Build --- jni-gen ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- jni 0.20.0 --- 0.21.1 Normal --- tempfile 3.8.0 --- 3.8.1 Normal --- vir ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- itertools 0.11.0 --- 0.12.0 Normal --- proc-macro2 1.0.67 --- 1.0.70 Normal --- regex 1.9.5 --- 1.10.2 Normal --- serde 1.0.188 --- 1.0.193 Normal --- syn 1.0.109 --- 2.0.41 Normal --- thiserror 1.0.48 --- 1.0.50 Normal --- uuid 1.4.1 --- 1.6.1 Normal --- vir-gen ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.67 --- 1.0.70 Normal --- syn 1.0.109 --- 2.0.41 Normal --- tempfile 3.8.0 --- 3.8.1 Normal --- prusti-interface ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- config 0.13.3 --- 0.13.4 Normal --- csv 1.2.2 --- 1.3.0 Normal --- regex 1.9.5 --- 1.10.2 Normal --- serde 1.0.188 --- 1.0.193 Normal --- prusti-specs ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- itertools 0.11.0 --- 0.12.0 Normal --- proc-macro2 1.0.67 --- 1.0.70 Normal --- syn 1.0.109 --- 2.0.41 Normal --- uuid 1.4.1 --- 1.6.1 Normal --- prusti-viper ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- itertools 0.11.0 --- 0.12.0 Normal --- num-traits 0.2.16 --- 0.2.17 Normal --- once_cell 1.18.0 --- 1.19.0 Normal --- regex 1.9.5 --- 1.10.2 Normal --- serde 1.0.188 --- 1.0.193 Normal --- serde_json 1.0.107 --- 1.0.108 Normal --- prusti-server ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- clap 4.4.4 --- 4.4.11 Normal --- env_logger 0.10.0 --- 0.10.1 Normal --- once_cell 1.18.0 --- 1.19.0 Normal --- reqwest 0.11.20 --- 0.11.22 Normal --- serde 1.0.188 --- 1.0.193 Normal --- tokio 1.32.0 --- 1.35.0 Normal --- url 2.4.1 --- 2.5.0 Normal --- warp 0.3.5 --- 0.3.6 Normal --- prusti-tests ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Development --- ureq 2.7.1 --- 2.9.1 Development --- prusti-smt-solver ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- futures 0.3.28 --- 0.3.29 Normal --- test-crates ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- clap 4.4.4 --- 4.4.11 Normal --- color-backtrace 0.6.0 --- 0.6.1 Normal --- csv 1.2.2 --- 1.3.0 Normal --- env_logger 0.10.0 --- 0.10.1 Normal --- serde 1.0.188 --- 1.0.193 Normal --- toml 0.7.8 --- 0.8.8 Normal --- systest ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- env_logger 0.10.0 --- 0.10.1 Build --- jni 0.20.0 --- 0.21.1 Normal --- once_cell 1.18.0 --- 1.19.0 Normal --- tempfile 3.8.0 --- 3.8.1 Build --- ureq 2.7.1 --- 2.9.1 Build --- $ mv prusti-contracts/Cargo_disabled.toml prusti-contracts/Cargo.toml ```@fpoli could you take care of this?