Commit eac206c

committed

test: fix gh kani-list artifacts expiration by cp another one to assets

cc model-checking/verify-rust-std#410

1 parent e4f10c3 commit eac206cCopy full SHA for eac206c

2 files changed

+13909

-1

lines changed

assets
- kani-list_verify-rust-std-CI.json
tests
- verify-rust-std.rs

2 files changed

+13909

-1

lines changed

Comments

(0)