From 0fc6469f605e3dd959c97b4f2f9fae3dde1d14e8 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 23 Aug 2023 07:59:42 +0000
Subject: [PATCH] Try using __w

---
 .github/workflows/kani.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index ba119b4d1c84..31423637920b 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -194,14 +194,17 @@ jobs:
       volumes:
         - /usr/local:/mnt/host-local
     steps:
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          rm -r /__w/usr/share/dotnet /__w/usr/local/lib/android /__w/usr/local/.ghcup
+          df -h
       # This is required before checkout because the container does not
       # have Git installed, so cannot run checkout action. The checkout
       # action requires Git >=2.18, so use the Git maintainers' PPA.
       - name: Install system dependencies
         run: |
-          df -h
-          rm -r /mnt/host-local/lib/android /mnt/host-local/.ghcup
-          df -h
           apt-get update
           apt-get install -y software-properties-common apt-utils
           add-apt-repository ppa:git-core/ppa