Cargo Audit

Bump Kani version to 0.49.0 #4997

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request April 5, 2024 12:03

tautschnig

opened #3126

tautschnig:release-kani-0.49.0

Status Success

Total duration 1m 0s

Artifacts –

audit.yml

on: pull_request