Subtree update automation: create merge PR even when subtree/library is up-to-date#326

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

tautschnig:disentable-update-logictautschnig/verify-rust-std:disentable-update-logicCopy head branch name to clipboard