Kani Format Check

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

Sign in to view logs

Triggered via pull request August 15, 2024 20:19

adpaco-aws

synchronize #3119

adpaco-aws:region-cov-basic

Status Success

Total duration 5m 28s

Artifacts –

format-check.yml

on: pull_request