From cbc74174caa3385701a67db16a6de5bec1f7d1b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=CE=A0=CE=BD=CE=B5=CF=85=CE=BC=CE=B1?= <37921907+azwhikaru@users.noreply.github.com> Date: Thu, 7 Jul 2022 20:44:13 +0800 Subject: [PATCH] Do not delete ".repo" before starting Do not delete ".repo" before starting --- .github/workflows/Make.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/Make.yml b/.github/workflows/Make.yml index 6069405ae..75656c34a 100644 --- a/.github/workflows/Make.yml +++ b/.github/workflows/Make.yml @@ -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: |