Merge pull request #4119 from chaosi-zju/automated-cherry-pick-of-#41…

…17-upstream-release-1.6

Automated cherry pick of #4106: clean ci runner disk space

.github/workflows/ci.yml

@@ -114,6 +114,19 @@ jobs:
         # Please remember to update the CI Schedule Workflow when we add a new version.
         k8s: [ v1.24.2, v1.25.0, v1.26.0 ]
     steps:
+      # Free up disk space on Ubuntu
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed, if set to "true" but frees about 6 GB
+          tool-cache: false
+          # all of these default to true, but feel free to set to "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: false
+          docker-images: false
+          swap-storage: false
       - name: checkout code
         uses: actions/checkout@v3
         with: