Remove unused software from disk

paoloredis · paoloredis · commit c1ac3d83ec80 · 2026-01-09T19:44:30.000+01:00
diff --git a/.github/workflows/main-staging.yml b/.github/workflows/main-staging.yml
@@ -20,6 +20,15 @@ jobs:
     steps:
     - name: Start
       run: echo "The name of the branch is ${{ github.ref }} on ${{ github.repository }}"
+
+    - name: Free up disk space
+      run: |
+        # Remove unnecessary pre-installed software to free up space
+        sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /usr/local/lib/android
+        sudo rm -rf /opt/ghc
+        sudo rm -rf /opt/hostedtoolcache/CodeQL
+
     - name: Install Hugo
       run: |
           wget -O ${{ runner.temp }}/hugo.deb https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb \
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,6 +20,15 @@ jobs:
     steps:
     - name: Start
       run: echo "The name of the branch is ${{ github.ref }} on ${{ github.repository }}"
+
+    - name: Free up disk space
+      run: |
+        # Remove unnecessary pre-installed software to free up space
+        sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /usr/local/lib/android
+        sudo rm -rf /opt/ghc
+        sudo rm -rf /opt/hostedtoolcache/CodeQL
+
     - name: Install Hugo
       run: |
           wget -O ${{ runner.temp }}/hugo.deb https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb \
