diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 52d9068c8e9f0..0564275267f36 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -188,7 +188,6 @@ jobs: pushd validate tar xf ../sources.tar pushd sources/nuttx - rm -rf .git ../apps/.git testfile=tools/ci/testlist/${{matrix.boards}}.dat echo Validating targets in $testfile testlist=`grep -v -E "^(-|#)|^[C|c][M|m][A|a][K|k][E|e]" $testfile || true` @@ -203,6 +202,7 @@ jobs: echo Error: $config:1:1: error: $config is configured incorrectly. To fix it, run '"'tools/refresh.sh $config'"' fail=1 fi + make distclean || true done fi done