Skip to content
Cargo Deny

Revert marker for shadow memory for uninit checks #70

Sign in to view logs

Revert marker for shadow memory for uninit checks

Revert marker for shadow memory for uninit checks #70

Triggered via push November 15, 2024 06:00
@celinvalcelinval
pushed 7d45dd9
chores-kani-fns
Status Success
Total duration 1m 23s
Artifacts –

deny.yml

on: push
audit
1m 14s
audit
Fit to window
Zoom out
Zoom in