Add copyright and description to test · adpaco-aws/rmc@704f366

Triggered via push September 28, 2023 20:35

adpaco-aws

issue-2860

Status Success

Total duration 59m 20s

Artifacts 2

kani.yml

on: push

Matrix: regression

Matrix: releasebundle-macos

1 warning

Docker pull failed with exit code 1, back off 1.711 seconds before retry.

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	90.7 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	112 MB