Skip to content

[pointer][invariant] Remove AliasingMapping, Inaccessible (#2301) #6462

[pointer][invariant] Remove AliasingMapping, Inaccessible (#2301)

[pointer][invariant] Remove AliasingMapping, Inaccessible (#2301) #6462

Triggered via pull request February 25, 2025 00:37
Status Success
Total duration 7m 19s
Artifacts

ci.yml

on: pull_request
Run tests under Kani
2m 9s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
47s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Check Rust formatting
4s
Check Rust formatting
Check that all toolchains listed in Cargo.toml are tested in CI
36s
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
50s
Run Git hooks
Matrix: build_test
Check README.md
32s
Check README.md
Check crate versions match
7s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in