chore: Increase disk space in the coverage runs (#2684)

Signed-off-by: Roman Gershman <roman@dragonflydb.io>
This commit is contained in:
Roman Gershman 2024-03-04 15:29:00 +02:00 committed by GitHub
parent 0081f4de71
commit 30ce250ab2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -25,11 +25,22 @@ jobs:
credentials: credentials:
username: ${{ github.repository_owner }} username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }} password: ${{ secrets.GITHUB_TOKEN }}
volumes:
- /:/hostroot
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with: with:
submodules: true 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 - name: Install dependencies
run: | run: |
uname -a uname -a