Bump Kani version to 0.54.0 #6340

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request August 8, 2024 20:50

feliperodri

opened #3430

feliperodri:release-0.54.0

Status Success

Total duration 57s

Artifacts –

audit.yml

on: pull_request