From de1326494e2af24fc17cdf4ce51e1642557e4772 Mon Sep 17 00:00:00 2001
From: Anatolii Kmetiuk <anatoliykmetyuk@gmail.com>
Date: Thu, 26 Mar 2020 15:49:34 +0100
Subject: [PATCH] Better cleanup strategy for GH Actions CI

Before each GH Actions job, remove everything from:

- The working directory (where the Dotty repo is cloned)
- The temp directory
- The user home directory

These directories are mounted by Docker before the workflow
is started and hence can be persisted between different CI
runs and we don't want that. The list of the directories can be obtained by looking at the `docker create` command
that the "Initialize containers" step runs for each job of
the CI. Only volumes that are vital for CI functioning are
spared during the cleanup.
---
 .github/workflows/ci.yaml | 70 +++++++++++++++++++++++++++++++--------
 1 file changed, 56 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index fdff0093542d..0fca4d567740 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -15,8 +15,14 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -52,8 +58,14 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -89,8 +101,14 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -132,8 +150,14 @@ jobs:
         github.event_name == 'schedule'
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -172,8 +196,14 @@ jobs:
         github.event_name == 'schedule'
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -217,8 +247,14 @@ jobs:
       SONATYPE_USER: ${{ secrets.SONATYPE_USER }}
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2
@@ -260,8 +296,14 @@ jobs:
                                            # Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
 
     steps:
-      - name: Clean Workspace
-        uses: anatoliykmetyuk/action-clean@1.0.2
+      - name: Cleanup
+        run: |
+          TARGETS="$(pwd) /__w/_temp /github/home"
+          for folder in $TARGETS; do
+            echo "Cleaning $folder"
+            cd $folder
+            rm -rf ..?* .[!.]* *
+          done
 
       - name: Git Checkout
         uses: actions/checkout@v2