Skip to content

[pointer] Clarify semantics of aliasing invariants (#1889) (#2378) #6444

[pointer] Clarify semantics of aliasing invariants (#1889) (#2378)

[pointer] Clarify semantics of aliasing invariants (#1889) (#2378) #6444

Triggered via push February 24, 2025 21:50
Status Success
Total duration 27m 29s
Artifacts

ci.yml

on: push
Run tests under Kani
2m 5s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
51s
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
30s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
28s
Check all-jobs-succeeded depends on all jobs
Run Git hooks
54s
Run Git hooks
Matrix: build_test
Check README.md
31s
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

28 errors
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'
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'
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / 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 / / 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'
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
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-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 / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'