chore: remove some more unused directories (#4046)

* chore: remove some more unused directories

* chore: remove debugging logs
This commit is contained in:
Reinaldy Rafli 2025-11-28 16:27:39 +07:00 committed by GitHub
parent 84ebc583de
commit a73563f172
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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