Kani Format Check

Bump Kani version to 0.49.0 #277

Sign in to view logs

Triggered via push April 5, 2024 12:02

tautschnig

release-kani-0.49.0

Status Success

Total duration 2m 12s

Artifacts –

format-check.yml

on: push