Back to pull request #2301

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

Sign in to view logs

Triggered via pull request February 5, 2025 20:23

joshlf

synchronize #2301

I1ac2ae177a235083e33b09fc848423220d3da042

Status Success

Total duration 5m 37s

Artifacts –

ci.yml

on: pull_request

Run tests under Kani

Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)

Check Rust formatting

Check that all toolchains listed in Cargo.toml are tested in CI

Check all-jobs-succeeded depends on all jobs

Matrix: build_test

Matrix: unsafe_fields

Check README.md

Check crate versions match

All checks succeeded