Kani Format Check

`cover_or_fail!` macro #7601

Sign in to view logs

Triggered via pull request August 7, 2024 13:38

synchronize #3424

carolynzech:cover-or-fail

Status Success

Total duration 4m 10s

Artifacts –

format-check.yml

on: pull_request