Back to pull request #3641

Build and include `kani-cov` in the bundle #8578

Sign in to view logs

Triggered via pull request October 24, 2024 18:12

adpaco-aws

synchronize #3641

adpaco-aws:bundle-kani-cov

Status Success

Total duration 2m 30s

Artifacts –

format-check.yml

on: pull_request