From 7d59efa3b04ac8fdd2938769181ab266b956a45f Mon Sep 17 00:00:00 2001
From: Guillaume Smet <guillaume.smet@gmail.com>
Date: Sat, 18 Feb 2023 13:56:27 +0100
Subject: [PATCH] Try to solve disk space issues on GitHub Actions

---
 .github/ci-prerequisites.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/ci-prerequisites.sh b/.github/ci-prerequisites.sh
index 97a48c73ca336..6de64e9fe560e 100755
--- a/.github/ci-prerequisites.sh
+++ b/.github/ci-prerequisites.sh
@@ -37,3 +37,15 @@ time docker rmi node:14 node:16 node:18 buildpack-deps:buster buildpack-deps:bul
 time sudo rm -rf /usr/share/dotnet
 # That is 1.7G
 time sudo rm -rf /usr/share/swift
+# Remove Android
+time sudo rm -rf /usr/local/lib/android
+# Remove Haskell
+time sudo rm -rf /opt/ghc
+
+docker images
+
+df -h
+
+du -sh /*
+
+du -sh /opt/*