[SOL] Free up space in github runner

Author: LucasSte

.github/workflows/ci.yml

@@ -92,6 +92,8 @@ jobs:
       - name: decide whether to skip this job
         run: src/ci/scripts/should-skip-this.sh
         if: success() && !env.SKIP_JOB
+      - name: free up space in github runner
+        run: "sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true\nsudo rm -rf \\\n /usr/share/dotnet /usr/local/lib/android /opt/ghc \\\n /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \\\n /usr/lib/jvm || true\necho \"some directories deleted\"\n"
       - name: collect CPU statistics
         run: src/ci/scripts/collect-cpu-stats.sh
         if: success() && !env.SKIP_JOB
@@ -224,6 +226,8 @@ jobs:
       - name: decide whether to skip this job
         run: src/ci/scripts/should-skip-this.sh
         if: success() && !env.SKIP_JOB
+      - name: free up space in github runner
+        run: "sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true\nsudo rm -rf \\\n /usr/share/dotnet /usr/local/lib/android /opt/ghc \\\n /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \\\n /usr/lib/jvm || true\necho \"some directories deleted\"\n"
       - name: collect CPU statistics
         run: src/ci/scripts/collect-cpu-stats.sh
         if: success() && !env.SKIP_JOB
@@ -618,6 +622,8 @@ jobs:
       - name: decide whether to skip this job
         run: src/ci/scripts/should-skip-this.sh
         if: success() && !env.SKIP_JOB
+      - name: free up space in github runner
+        run: "sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true\nsudo rm -rf \\\n /usr/share/dotnet /usr/local/lib/android /opt/ghc \\\n /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \\\n /usr/lib/jvm || true\necho \"some directories deleted\"\n"
       - name: collect CPU statistics
         run: src/ci/scripts/collect-cpu-stats.sh
         if: success() && !env.SKIP_JOB
@@ -746,6 +752,8 @@ jobs:
       - name: decide whether to skip this job
         run: src/ci/scripts/should-skip-this.sh
         if: success() && !env.SKIP_JOB
+      - name: free up space in github runner
+        run: "sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true\nsudo rm -rf \\\n /usr/share/dotnet /usr/local/lib/android /opt/ghc \\\n /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \\\n /usr/lib/jvm || true\necho \"some directories deleted\"\n"
       - name: collect CPU statistics
         run: src/ci/scripts/collect-cpu-stats.sh
         if: success() && !env.SKIP_JOB

src/ci/github-actions/ci.yml

@@ -152,6 +152,15 @@ x--expand-yaml-anchors--remove:
       #        run: src/ci/scripts/verify-channel.sh
       #        <<: *step
 
+      - name: free up space in github runner
+        run: |
+          sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true
+          sudo rm -rf \
+           /usr/share/dotnet /usr/local/lib/android /opt/ghc \
+           /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \
+           /usr/lib/jvm || true
+          echo "some directories deleted"
+
       - name: collect CPU statistics
         run: src/ci/scripts/collect-cpu-stats.sh
         <<: *step