Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #442
This workflow is awaiting approval from a maintainer in #126
Triggered via pull request
October 28, 2024 23:28
Dhvani-Kapadia
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #126
kani.yml
on: pull_request
Matrix: Verify std library
Waiting for pending jobs
Matrix: Test Kani script
Waiting for pending jobs