Skip to content
Cargo Audit

Unify kani library and kani core logic #5828

Sign in to view logs

Unify kani library and kani core logic

Unify kani library and kani core logic #5828

Triggered via pull request July 11, 2024 19:45
@jaisnanjaisnan
synchronize #3333
jaisnan:clean-kani-core
Status Success
Total duration 1m 35s
Artifacts –

audit.yml

on: pull_request
audit
1m 26s
audit
Fit to window
Zoom out
Zoom in