Skip to content
Cargo Audit

Support for inductively verifying contracts of recursive functions #4082

Sign in to view logs

Support for inductively verifying contracts of recursive functions

Support for inductively verifying contracts of recursive functions #4082

Run time

Learn about OS pricing on GitHub Actions
Job Run time
audit
1m 22s
1m 22s