From 30ce250ab2a934f8a57cdafaa4119fda3c5bf23f Mon Sep 17 00:00:00 2001 From: Roman Gershman Date: Mon, 4 Mar 2024 15:29:00 +0200 Subject: [PATCH] chore: Increase disk space in the coverage runs (#2684) Signed-off-by: Roman Gershman --- .github/workflows/cov.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/workflows/cov.yml b/.github/workflows/cov.yml index 73ae80f1e..8651dbbee 100644 --- a/.github/workflows/cov.yml +++ b/.github/workflows/cov.yml @@ -25,11 +25,22 @@ jobs: credentials: username: ${{ github.repository_owner }} password: ${{ secrets.GITHUB_TOKEN }} + volumes: + - /:/hostroot steps: - uses: actions/checkout@v4 with: submodules: true + - name: Delete Space + run: | + df -h + rm -rf /hostroot/usr/share/dotnet + rm -rf /hostroot/usr/local/share/boost + rm -rf /hostroot/usr/local/lib/android + rm -rf /hostroot/opt/ghc + echo "***************After Deletion***************************" + df -h - name: Install dependencies run: | uname -a