Cargo Audit

Update to CBMC version 6.0.0 #236

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via push February 6, 2024 13:08

tautschnig

cbmc-6

Status Success

Total duration 1m 1s

Artifacts –

audit.yml

on: push