Kani Format Check

Bump Kani version to 0.42.0 #197

Sign in to view logs

Triggered via push November 27, 2023 13:39

tautschnig

release-0.42.0

Status Success

Total duration 3m 40s

Artifacts –

format-check.yml

on: push