Contracts and harnesses for `dangling`, `from_raw_parts`, `slice_from_raw_parts`, `to_raw_parts` in NonNull #419

Sign in to view logs

This workflow is awaiting approval from a maintainer in #127

Triggered via pull request October 25, 2024 17:07

QinyuanWu

synchronize #127

danielhumanmod:olivia/pointer_creation_and_init

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #127

rustc.yml

on: pull_request

Matrix: build

Waiting for pending jobs