Kani Format Check

Call out new coverage behavior #507

Sign in to view logs

Triggered via push September 4, 2024 05:13

zhassan-aws

kani-0.55.0

Status Success

Total duration 4m 38s

Artifacts –

format-check.yml

on: push