Kani Format Check

Bump Kani version to 0.49.0 #6279

Sign in to view logs

Triggered via pull request April 5, 2024 12:03

tautschnig

opened #3126

tautschnig:release-kani-0.49.0

Status Success

Total duration 4m 14s

Artifacts –

format-check.yml

on: pull_request