Remove "upload HEAD coverage" workflow

As we have started using the merge queue which is the new "future main" and merge by squashing is also no longer possible, the workflow is no longer necessary. Signed-off-by: Marcel Guzik <[email protected]>
thin-edge · Feb 5, 2024 · 191d7d7 · 191d7d7
1 parent 281c0ef
commit 191d7d7
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/head_coverage.yml b/.github/workflows/head_coverage.yml
@@ -24,6 +24,13 @@ jobs:
     env:
       RUSTFLAGS: -D warnings
     steps:
+      - name: Reclaim some disk space
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf "/usr/local/share/boost"
+          sudo rm -rf /opt/hostedtoolcache
+
       - name: Checkout
         uses: actions/checkout@v4