Kani Format Check

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

Sign in to view logs

Triggered via pull request August 23, 2024 17:18

adpaco-aws

synchronize #3119

adpaco-aws:region-cov-basic

Status Success

Total duration 4m 41s

Artifacts –

format-check.yml

on: pull_request