Merge pull request #8574 from dotty-staging/clean-ghactions-workspace

Clean GH Actions workspace before each job

Author: nicolasstucki

.github/workflows/ci.yaml

@@ -15,6 +15,9 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -49,6 +52,9 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -83,6 +89,9 @@ jobs:
     container: akmetiuk/dotty:2020-02-12
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -123,6 +132,9 @@ jobs:
         github.event_name == 'schedule'
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -160,6 +172,9 @@ jobs:
         github.event_name == 'schedule'
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -202,6 +217,9 @@ jobs:
       SONATYPE_USER: ${{ secrets.SONATYPE_USER }}
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2
 
@@ -242,6 +260,9 @@ jobs:
                                            # Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
 
     steps:
+      - name: Clean Workspace
+        uses: anatoliykmetyuk/[email protected]
+
       - name: Git Checkout
         uses: actions/checkout@v2