Build bundle jobs could test bundles before upload

model-checking / kani

Kani Rust Verifier

https://model-checking.github.io/kani

Apache License 2.0

2.13k stars 83 forks source link

Build bundle jobs could test bundles before upload #3331

Open adpaco-aws opened 2 months ago

adpaco-aws commented 2 months ago

Note: This was originally brought up by @celinval in https://github.com/model-checking/kani/issues/3320#issuecomment-2209367859_

We could be testing the bundles we build as we do in other image-related jobs. We should determine how the bundles are being tested at the moment. If I'm not mistaken, these bundles are consumed by other jobs but it's not clear to me if they're being installed and tested.

celinval commented 2 months ago

Just to clarify, only the m1 is not currently tested