Kani Format Check

`kani-cov`: A coverage tool for Kani #8383

Sign in to view logs

Triggered via pull request October 9, 2024 18:36

adpaco-aws

synchronize #3121

adpaco-aws:kanicov-tool

Status Success

Total duration 4m 29s

Artifacts –

format-check.yml

on: pull_request