Skip to content
Cargo Deny

Update tests/kani/Projection/slice_slice_projection.rs #31

Sign in to view logs

Update tests/kani/Projection/slice_slice_projection.rs

Update tests/kani/Projection/slice_slice_projection.rs #31

Triggered via push September 17, 2024 01:17
@celinvalcelinval
pushed 3ddffa5
iss-3498
Status Success
Total duration 1m 5s
Artifacts –

deny.yml

on: push
audit
55s
audit
Fit to window
Zoom out
Zoom in