Fix subtree automation for submodules when there were no changes#396

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

tautschnig:fixup-submodule-automationtautschnig/verify-rust-std:fixup-submodule-automationCopy head branch name to clipboard