Bump Kani version to 0.43.0 #4492

Sign in to view logs

Triggered via pull request December 13, 2023 22:09

opened #2941

feliperodri:bump-kani-version

Status Success

Total duration 59s

Artifacts –

audit.yml

on: pull_request