Subtree update automation: update submodules#394

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:update-automation-submoduletautschnig/verify-rust-std:update-automation-submoduleCopy head branch name to clipboard