Do not delete ".repo" before starting

Do not delete ".repo" before starting
This commit is contained in:
Πνευμα 2022-07-07 20:44:13 +08:00 committed by GitHub
parent 50a426611c
commit cbc74174ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -80,8 +80,7 @@ jobs:
run: |
PATH=~/bin:$PATH
cd workspace
repo sync -j$(nproc --all) -c --no-clone-bundle --no-tags
rm -rf .repo
repo sync -j$(nproc --all)
- name: Clone device tree
run: |