Free up space in github actions

huridocs · Oct 7, 2024 · d4d0fd1 · d4d0fd1
1 parent e6be908
commit d4d0fd1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -33,9 +33,12 @@ upgrade:
 free_up_space:
 	df -h
 	sudo rm -rf /usr/share/dotnet
+	sudo rm -rf /usr/local/lib/android
+	sudo rm -rf /opt/hostedtoolcache/CodeQL
 	sudo rm -rf /opt/ghc
 	sudo rm -rf "/usr/local/share/boost"
 	sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+	sudo rm -rf "/opt/hostedtoolcache/boost"
 	sudo apt-get remove -y '^llvm-.*' || true
 	sudo apt-get remove -y 'php.*' || true
 	sudo apt-get remove -y google-cloud-sdk hhvm google-chrome-stable firefox mono-devel || true