fix: Coverage and PR workflows - no space left on device (logos-co#798)

* test: remove LLVM profiling

* fix: add on push

* test: use release mode

* test: remove Android support from the runner

* test: return back LLVM profiling
- remove dotnet

* fix: remove on push condition

* fix: prune-vm action added

* fix: move actions-checkout

* fix: PR workflow

* fix: remove on push condition from codecov

.github/actions/prune-vm/action.yml

@@ -0,0 +1,27 @@
+# Inspired by https://github.com/AdityaGarg8/remove-unwanted-software
+# to free up disk space. Currently removes Dotnet, Android and Haskell.
+name: Remove unwanted software
+description: Default GitHub runners come with a lot of unnecessary software
+runs:
+  using: "composite"
+  steps:
+    - name: Disk space report before modification
+      shell: bash
+      run: |
+        echo "==> Available space before cleanup"
+        echo
+        df -h
+    - name: Maximize build disk space
+      shell: bash
+      run: |
+          set -euo pipefail
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf /opt/ghc 
+          sudo rm -rf /usr/local/.ghcup
+    - name: Disk space report after modification
+      shell: bash
+      run: |
+          echo "==> Available space after cleanup"
+          echo
+          df -h

.github/workflows/build-test.yml

@@ -54,6 +54,9 @@ jobs:
       - uses: actions/checkout@v2
         with:
           submodules: true
+      - name: Remove unwanted software
+        if: matrix.os == 'ubuntu-latest'
+        uses: ./.github/actions/prune-vm
       - uses: arduino/setup-protoc@v3
         with:
           repo-token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/codecov.yml

@@ -16,6 +16,8 @@ jobs:
       - uses: actions/checkout@v3
         with:
           submodules: true
+      - name: Remove unwanted software
+        uses: ./.github/actions/prune-vm
       - uses: arduino/setup-protoc@v3
         with:
           repo-token: ${{ secrets.GITHUB_TOKEN }}