Question: CI artifacts retention is too short

[zjp-CN]

I'm using a specified recent CI artifacts kani-list.json in a distributed-verification (dv) test to compare function difference between dv output and kani-list.json, but I noticed artifacts expired merely 3 days from a failed dv test.

https://github.com/model-checking/verify-rust-std/actions/runs/16057809811

Can the limit be extended? The default value for that is 90 days.

---

Note: if dv becomes a part of verify-rust-std CI, ideally the comparison test should be run in verify-rust-std (specifically, in kani workflows) each time after kani-list.json generated.

• cc How to integrate distributed-verification into verify-rust-std? #409