Skip to content
Cargo Audit

Merge branch 'main' of https://github.com/model-checking/kani into fe… #1

Sign in to view logs

Merge branch 'main' of https://github.com/model-checking/kani into fe…

Merge branch 'main' of https://github.com/model-checking/kani into fe… #1

Triggered via push July 29, 2024 17:30
@jaisnanjaisnan
pushed aa05768
features/verifuy-07-21
Status Success
Total duration 1m 6s
Artifacts –

audit.yml

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