Bump Kani version to 0.53.0 #5723

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request July 2, 2024 23:15

adpaco-aws

synchronize #3317

adpaco-aws:release-0.53.0

Status Success

Total duration 1m 3s

Artifacts –

audit.yml

on: pull_request