Strengthen soundness proof for size_of_val_raw (#1574) · google/zerocopy@50d9d62

Triggered via push August 6, 2024 19:50

main

Status Success

Total duration 2m 20s

Artifacts 1

scorecard.yml

on: push

Produced during runtime

Name	Size
SARIF file Expired	16.5 KB