CI and rng seeds#472

maximebuyse wants to merge 5 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

cryspen:mb/ci-rng-seedcryspen/verify-rust-std:mb/ci-rng-seedCopy head branch name to clipboard