Remove /usr/local/lib/android and /usr/share/dotnet to make space since we aren't building for either.

Add action to manually delete old workflows

Author: miigotu

.github/workflows/build_push.yaml

@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - '*'
+  workflow_dispatch:
 
 jobs:
   ShellCheck:
@@ -21,6 +22,10 @@ jobs:
     runs-on: ubuntu-latest
     needs: ShellCheck
     steps:
+      - name: Make Space
+        run: |
+          sudo rm -rf /usr/local/lib/android # will release about 10 GB if you don't need Android
+          sudo rm -rf /usr/share/dotnet # will release about 20GB if you don't need .NET
       - name: Checkout
         if: success()
         id: checkout

.github/workflows/delete_old.yaml

@@ -0,0 +1,19 @@
+name: Delete old workflow runs
+on:
+  workflow_dispatch:
+    inputs:
+      days:
+        description: 'Number of days.'
+        required: true
+        default: 90
+
+jobs:
+  del_runs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Delete workflow runs
+        uses: Mattraks/delete-workflow-runs@main
+        with:
+          token: ${{ secrets.AUTH_PAT }}
+          repository: ${{ github.repository }}
+          retain_days: ${{ github.event.inputs.days }}