Skip to content
Cargo Deny

Update library/kani_macros/src/sysroot/contracts/mod.rs #90

Sign in to view logs

Update library/kani_macros/src/sysroot/contracts/mod.rs

Update library/kani_macros/src/sysroot/contracts/mod.rs #90

Triggered via push October 29, 2024 21:25
@carolynzechcarolynzech
pushed 0e5d7aa
contract-vacuity
Status Success
Total duration 1m 15s
Artifacts –

deny.yml

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