Automate subtree update#248

tautschnig merged 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:automate-subtree-updatetautschnig/verify-rust-std:automate-subtree-updateCopy head branch name to clipboard