diff --git a/.github/actions/setup/action.yml b/.github/actions/setup/action.yml
index 940a8436da05..320a6ae028e3 100644
--- a/.github/actions/setup/action.yml
+++ b/.github/actions/setup/action.yml
@@ -12,6 +12,13 @@ inputs:
 runs:
   using: composite
   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 -rf /usr/share/dotnet /usr/local/lib/* /opt/*
+          df -h
+
       - name: Install dependencies
         run: cd ${{ inputs.kani_dir }} && ./scripts/setup/${{ inputs.os }}/install_deps.sh
         shell: bash
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 6d0a86cac1d2..beaebcc32842 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -192,12 +192,6 @@ jobs:
     container:
       image: ubuntu:18.04
     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 -rf /usr/share/dotnet /usr/local/lib/* /opt/*
-          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.