Workaround sporadic git submodule failure#4349

zhassan-aws merged 1 commit intomainmodel-checking/kani:mainfrom

workaround-lfs-errormodel-checking/kani:workaround-lfs-errorCopy head branch name to clipboard