Skip to content
Build & Tests

Fix unsoundness in impl_for_transparent_wrapper! #4552

Sign in to view logs

Fix unsoundness in impl_for_transparent_wrapper!

Fix unsoundness in impl_for_transparent_wrapper! #4552

Triggered via pull request August 9, 2024 20:44
@joshlfjoshlf
opened #1585
impl-for-transparent-wrapper-soundness
Status Failure
Total duration 3m 31s
Artifacts –

ci.yml

on: pull_request
Generate cache
30s
Generate cache
Run tests under Kani
2m 8s
Run tests under Kani
Check Rust formatting
7s
Check Rust formatting
Check that all toolchains listed in Cargo.toml are tested in CI
37s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
31s
Check all-jobs-succeeded depends on all jobs
Run Git hooks
56s
Run Git hooks
Matrix: build_test
Check README.md
12s
Check README.md
Check crate versions match
11s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
Process completed with exit code 101.
All checks succeeded
Process completed with exit code 1.