Kani Format Check

Re-remove kani-verify-fail #533

Sign in to view logs

Triggered via push September 17, 2024 18:25

zhassan-aws

iss-3498

Status Success

Total duration 2m 19s

Artifacts –

format-check.yml

on: push