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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
audit
51s
51s