Skip to content

Use cfg=kani_host for host crates #5359

Use cfg=kani_host for host crates

Use cfg=kani_host for host crates #5359

Triggered via pull request June 8, 2024 04:42
Status Success
Total duration 1m 28s
Artifacts

audit.yml

on: pull_request
Fit to window
Zoom out
Zoom in