Skip to content
Kani

AWS-Team-4 Contracts & Harnesses for non_null::new and non_null::new_unchecked #249

Sign in to view logs

AWS-Team-4 Contracts & Harnesses for non_null::new and non_null::new_unchecked

AWS-Team-4 Contracts & Harnesses for non_null::new and non_null::new_unchecked #249

This workflow is awaiting approval from a maintainer in #88
Triggered via pull request September 20, 2024 06:57
@QinyuanWuQinyuanWu
synchronize #88
danielhumanmod:new-unchecked
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #88

kani.yml

on: pull_request
Matrix: build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in