Kani Format Check

Bump Kani version to 0.43.0 #5774

Sign in to view logs

Triggered via pull request December 13, 2023 22:09

opened #2941

feliperodri:bump-kani-version

Status Success

Total duration 2m 50s

Artifacts –

format-check.yml

on: pull_request