Skip to content
Cargo Deny

change human to pretty and fix kani version number #23

Sign in to view logs

change human to pretty and fix kani version number

change human to pretty and fix kani version number #23

Triggered via push September 4, 2024 14:43
@carolynzechcarolynzech
pushed 231ba89
list-rfc
Status Success
Total duration 1m 4s
Artifacts –

deny.yml

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