Skip to content

Refactor stubbing so Kani compiler only invoke rustc once per crate #5383

Refactor stubbing so Kani compiler only invoke rustc once per crate

Refactor stubbing so Kani compiler only invoke rustc once per crate #5383

Triggered via pull request June 10, 2024 18:44
Status Success
Total duration 59s
Artifacts

audit.yml

on: pull_request
Fit to window
Zoom out
Zoom in