Back to pull request #3486

Bump Kani version to 0.55.0 #7981

Sign in to view logs

Triggered via pull request September 4, 2024 18:48

zhassan-aws

synchronize #3486

zhassan-aws:kani-0.55.0

Status Success

Total duration 3m 54s

Artifacts –

format-check.yml

on: pull_request