diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e5738e92a..6dff3a812 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -71,8 +71,8 @@ jobs: working-directory: ../../omr run: | df -h - rm -rf toolchain - rm -rf dl + sudo rm -rf $OMR_TARGET/source/toolchain + sudo rm -rf $OMR_TARGET/source/dl df -h - name: Build image working-directory: ../../omr