Kani Format Check

Adopt Rust's source-based code coverage instrumentation #7694

Sign in to view logs

Triggered via pull request August 15, 2024 20:06

adpaco-aws

synchronize #3119

adpaco-aws:region-cov-basic

Status Success

Total duration 4m 25s

Artifacts –

format-check.yml

on: pull_request