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

Sign in to view logs

This workflow is awaiting approval from a maintainer in #127

Triggered via pull request October 28, 2024 15:11

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

kani.yml

on: pull_request

Matrix: Verify std library

Waiting for pending jobs

Matrix: Test Kani script

Waiting for pending jobs