Skip to content
Cargo Deny

Merge branch 'iss-3498' of https://github.com/zhassan-aws/kani into i… #34

Sign in to view logs

Merge branch 'iss-3498' of https://github.com/zhassan-aws/kani into i…

Merge branch 'iss-3498' of https://github.com/zhassan-aws/kani into i… #34

Triggered via push September 17, 2024 17:40
@zhassan-awszhassan-aws
pushed 3555736
iss-3498
Status Success
Total duration 7m 15s
Artifacts –

deny.yml

on: push
audit
6m 28s
audit
Fit to window
Zoom out
Zoom in