remove unnecessary pkgs

This commit is contained in:
edoapra 2023-10-02 14:03:51 -07:00
parent bff626dafa
commit e958b58fd4
No known key found for this signature in database
GPG key ID: 48E12DA1EDE9E1B0

View file

@ -384,6 +384,18 @@ jobs:
USE_OPENMP: ${{ matrix.use_openmp }}
continue-on-error: ${{ matrix.experimental }}
steps:
- name: pkg cleanup
run: |
df -h
sudo apt-get purge -y azure-cli || true
sudo apt-get purge -y google-cloud-cli azure-cli microsoft-edge-stable dotnet-sdk-7.0 dotnet-sdk-6.0 google-chrome-stable firefox
sudo apt-get purge -y temurin-17-jdk temurin-11-jdk hhvm temurin-8-jdk
sudo apt-get purge -y llvm-12-dev llvm-11-dev llvm-10-dev
sudo apt-get purge -y libgl1-mesa-dri
sudo apt-get -y clean
sudo apt-get autoremove -y
dpkg-query -Wf '${Installed-Size}\t${Package}\n' | sort -n
df -h
- name: Checkout code
uses: actions/checkout@v4
with: