From 899477bbe73909cf277540343b093e547dfdf5d4 Mon Sep 17 00:00:00 2001
From: Abe Coull <85974725+math411@users.noreply.github.com>
Date: Thu, 18 Apr 2024 14:41:59 -0700
Subject: [PATCH 1/2] infra: free up disk space

---
 .github/workflows/integ-tests.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/integ-tests.yml b/.github/workflows/integ-tests.yml
index 6b6d5ed..835fb45 100644
--- a/.github/workflows/integ-tests.yml
+++ b/.github/workflows/integ-tests.yml
@@ -29,6 +29,15 @@ jobs:
     env:
       PREBUILD_TAG : ${{ matrix.container-type }}_prebuild_tag
     steps:
+    - name: Check disk space
+      run: df . -h
+    - name: Free disk space
+      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
     - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d

From 1bce7d8abd191ffa213fcce8e6373033258d61f7 Mon Sep 17 00:00:00 2001
From: Abe Coull <85974725+math411@users.noreply.github.com>
Date: Thu, 18 Apr 2024 14:45:11 -0700
Subject: [PATCH 2/2] Update integ-tests.yml

---
 .github/workflows/integ-tests.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/integ-tests.yml b/.github/workflows/integ-tests.yml
index 835fb45..044a343 100644
--- a/.github/workflows/integ-tests.yml
+++ b/.github/workflows/integ-tests.yml
@@ -38,6 +38,8 @@ jobs:
           /usr/share/dotnet /usr/local/lib/android /opt/ghc \
           /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \
           /usr/lib/jvm || true
+    - name: Check disk space after clean up
+      run: df . -h
     - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d