Kani Format Check

Add PR to changelog, respond to feedback #175

Sign in to view logs

Triggered via push October 3, 2023 21:45

release-kani-0.38.0

Status Success

Total duration 4m 13s

Artifacts –

format-check.yml

on: push