Skip to content

[pointer][invariant] Remove AliasingMapping, Inaccessible #6250

[pointer][invariant] Remove AliasingMapping, Inaccessible

[pointer][invariant] Remove AliasingMapping, Inaccessible #6250

Triggered via pull request February 4, 2025 21:28
Status Failure
Total duration 9m 6s
Artifacts

ci.yml

on: pull_request
Run tests under Kani
1m 58s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
53s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Check Rust formatting
7s
Check Rust formatting
Check that all toolchains listed in Cargo.toml are tested in CI
28s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
26s
Check all-jobs-succeeded depends on all jobs
Run Git hooks
54s
Run Git hooks
Matrix: build_test
Matrix: unsafe_fields
Check README.md
15s
Check README.md
Check crate versions match
9s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

61 errors
unsafe_fields (nightly)
Process completed with exit code 101.
unsafe_fields (stable, --features zerocopy_0_8)
Process completed with exit code 101.
unsafe_fields (stable)
Process completed with exit code 101.
unsafe_fields (nightly, --features zerocopy_0_8)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --no-default-features / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / stable / --no-default-features / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / stable / / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / stable / --no-default-features / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --all-features / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / zerocopy-core-error / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / stable / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --no-default-features / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / stable / / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / zerocopy-core-error / / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / stable / --no-default-features / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / nightly / --no-default-features / i686-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-derive / stable / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
unsafe_fields (msrv)
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-derive / nightly / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
unsafe_fields (msrv, --features zerocopy_0_8)
Process completed with exit code 101.
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / msrv / / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / msrv / --no-default-features / x86_64-pc-windows-msvc)
Process completed with exit code 101.
Build & Test (zerocopy / msrv / --no-default-features / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / msrv / / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / msrv / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy / msrv / --no-default-features / i686-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
All checks succeeded
Process completed with exit code 1.