Contracts and harnesses for dangling, from_raw_parts, slice_from_raw_parts, to_raw_parts in NonNull
#435
This workflow is awaiting approval from a maintainer in #127
Triggered via pull request
October 28, 2024 15:09
QinyuanWu
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