Bump Kani version to 0.53.0 #5727

Sign in to view logs

Triggered via pull request July 3, 2024 14:08

synchronize #3317

adpaco-aws:release-0.53.0

Status Success

Total duration 1m 18s

Artifacts –

audit.yml

on: pull_request