Kani Format Check

Bump Kani version to 0.38.0 #171

Sign in to view logs

Triggered via push October 2, 2023 11:18

release-kani-0.38.0

Status Success

Total duration 4m 14s

Artifacts –

format-check.yml

on: push