From 36ceab67c8bffb8eb2bdf0860dd116222b6a973b Mon Sep 17 00:00:00 2001
From: tienntr <93871686+tienntr@users.noreply.github.com>
Date: Fri, 15 Dec 2023 03:10:55 +0000
Subject: [PATCH] Remove unneeded files on host to free up disk

Use the trick from build.yaml
---
 .github/workflows/build-centos7.yaml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/build-centos7.yaml b/.github/workflows/build-centos7.yaml
index d2068dfc2ec..b723d6c3a13 100644
--- a/.github/workflows/build-centos7.yaml
+++ b/.github/workflows/build-centos7.yaml
@@ -10,8 +10,16 @@ jobs:
     runs-on: ubuntu-22.04
     container:
       image: centos:7
+      volumes:
+        - /usr/share/dotnet:/host/usr/share/dotnet
+        - /usr/local/lib/android:/host/usr/local/lib/android
 
     steps:
+      - name: Remove unneeded frameworks to recover disk space
+          run: |
+            rm -rf /host/usr/share/dotnet
+            rm -rf /host/usr/local/lib/android
+
       - name: Update and install build tools
         # Add python-devel to support python in gdb.
         # actions/checkout@v3 requires git >= 2.18