Skip to content

[pointer] Simplify AliasingSafe, rename to Read (#1908) (#2383) #6457

[pointer] Simplify AliasingSafe, rename to Read (#1908) (#2383)

[pointer] Simplify AliasingSafe, rename to Read (#1908) (#2383) #6457

Triggered via push February 25, 2025 00:17
Status Success
Total duration 30m 38s
Artifacts

ci.yml

on: push
Run tests under Kani
2m 7s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
49s
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
32s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
27s
Check all-jobs-succeeded depends on all jobs
Run Git hooks
51s
Run Git hooks
Matrix: build_test
Check README.md
18s
Check README.md
Check crate versions match
12s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in