Skip to content

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #446

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #446

This workflow is awaiting approval from a maintainer in #126
Triggered via pull request October 28, 2024 23:57
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
Fit to window
Zoom out
Zoom in