chore: remove some more unused directories (#4046)

* chore: remove some more unused directories

* chore: remove debugging logs

Author: aldy505

action.yaml

@@ -47,6 +47,9 @@ runs:
       run: |
         ### Inspired by https://github.com/endersonmenezes/free-disk-space ###
         sudo rm -rf /usr/local/.ghcup
+        sudo rm -rf /home/runner/Android /usr/local/lib/android /opt/android /usr/local/android-sdk
+        sudo rm -rf /usr/share/dotnet /usr/share/doc/dotnet-*
+        df -h
 
     - name: Setup dev environment
       shell: bash