Skip to content
Cargo Audit

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

Sign in to view logs

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

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

Triggered via push July 12, 2024 18:11
@jaisnanjaisnan
pushed f794dd0
upgrade-toolchain-july1
Status Success
Total duration 59s
Artifacts –

audit.yml

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