From 31a43a042b8788b0d8d10739b15d4d1ac49f08d6 Mon Sep 17 00:00:00 2001
From: "Ycarus (Yannick Chabanois)" <ycarus@zugaina.org>
Date: Wed, 14 Oct 2020 08:07:12 +0200
Subject: [PATCH] Try again to free disk space for girthub actions

---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e5738e92a..6dff3a812 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -71,8 +71,8 @@ jobs:
       working-directory: ../../omr
       run: |
         df -h
-        rm -rf toolchain
-        rm -rf dl
+        sudo rm -rf $OMR_TARGET/source/toolchain
+        sudo rm -rf $OMR_TARGET/source/dl
         df -h
     - name: Build image
       working-directory: ../../omr