ci: remove cached submodule metadata while checking with github

This commit is contained in:
Fu Hanxi
2025-06-24 09:09:07 +02:00
parent b800234726
commit c083e55186

View File

@@ -20,6 +20,7 @@ check_submodule_sync:
dependencies: [] dependencies: []
script: script:
- git submodule deinit --force . - git submodule deinit --force .
- rm -rf .git/modules # remove all the cached metadata
# setting the default remote URL to the public one, to resolve relative location URLs # setting the default remote URL to the public one, to resolve relative location URLs
- git config remote.origin.url ${PUBLIC_IDF_URL} - git config remote.origin.url ${PUBLIC_IDF_URL}
# check if all submodules are correctly synced to public repository # check if all submodules are correctly synced to public repository