@@ -15,14 +15,11 @@ jobs:
1515 container : akmetiuk/dotty:2020-02-12
1616
1717 steps :
18+ - name : Checkout cleanup script
19+ uses : actions/checkout@v2
20+
1821 - name : Cleanup
19- run : |
20- TARGETS="$(pwd) /__w/_temp /github/home"
21- for folder in $TARGETS; do
22- echo "Cleaning $folder"
23- cd $folder
24- rm -rf ..?* .[!.]* *
25- done
22+ run : .github/workflows/cleanup.sh
2623
2724 - name : Git Checkout
2825 uses : actions/checkout@v2
@@ -58,14 +55,11 @@ jobs:
5855 container : akmetiuk/dotty:2020-02-12
5956
6057 steps :
58+ - name : Checkout cleanup script
59+ uses : actions/checkout@v2
60+
6161 - name : Cleanup
62- run : |
63- TARGETS="$(pwd) /__w/_temp /github/home"
64- for folder in $TARGETS; do
65- echo "Cleaning $folder"
66- cd $folder
67- rm -rf ..?* .[!.]* *
68- done
62+ run : .github/workflows/cleanup.sh
6963
7064 - name : Git Checkout
7165 uses : actions/checkout@v2
@@ -101,14 +95,11 @@ jobs:
10195 container : akmetiuk/dotty:2020-02-12
10296
10397 steps :
98+ - name : Checkout cleanup script
99+ uses : actions/checkout@v2
100+
104101 - name : Cleanup
105- run : |
106- TARGETS="$(pwd) /__w/_temp /github/home"
107- for folder in $TARGETS; do
108- echo "Cleaning $folder"
109- cd $folder
110- rm -rf ..?* .[!.]* *
111- done
102+ run : .github/workflows/cleanup.sh
112103
113104 - name : Git Checkout
114105 uses : actions/checkout@v2
@@ -150,14 +141,11 @@ jobs:
150141 github.event_name == 'schedule'
151142
152143 steps :
144+ - name : Checkout cleanup script
145+ uses : actions/checkout@v2
146+
153147 - name : Cleanup
154- run : |
155- TARGETS="$(pwd) /__w/_temp /github/home"
156- for folder in $TARGETS; do
157- echo "Cleaning $folder"
158- cd $folder
159- rm -rf ..?* .[!.]* *
160- done
148+ run : .github/workflows/cleanup.sh
161149
162150 - name : Git Checkout
163151 uses : actions/checkout@v2
@@ -196,14 +184,11 @@ jobs:
196184 github.event_name == 'schedule'
197185
198186 steps :
187+ - name : Checkout cleanup script
188+ uses : actions/checkout@v2
189+
199190 - name : Cleanup
200- run : |
201- TARGETS="$(pwd) /__w/_temp /github/home"
202- for folder in $TARGETS; do
203- echo "Cleaning $folder"
204- cd $folder
205- rm -rf ..?* .[!.]* *
206- done
191+ run : .github/workflows/cleanup.sh
207192
208193 - name : Git Checkout
209194 uses : actions/checkout@v2
@@ -247,14 +232,11 @@ jobs:
247232 SONATYPE_USER : ${{ secrets.SONATYPE_USER }}
248233
249234 steps :
235+ - name : Checkout cleanup script
236+ uses : actions/checkout@v2
237+
250238 - name : Cleanup
251- run : |
252- TARGETS="$(pwd) /__w/_temp /github/home"
253- for folder in $TARGETS; do
254- echo "Cleaning $folder"
255- cd $folder
256- rm -rf ..?* .[!.]* *
257- done
239+ run : .github/workflows/cleanup.sh
258240
259241 - name : Git Checkout
260242 uses : actions/checkout@v2
@@ -296,14 +278,11 @@ jobs:
296278 # Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
297279
298280 steps :
281+ - name : Checkout cleanup script
282+ uses : actions/checkout@v2
283+
299284 - name : Cleanup
300- run : |
301- TARGETS="$(pwd) /__w/_temp /github/home"
302- for folder in $TARGETS; do
303- echo "Cleaning $folder"
304- cd $folder
305- rm -rf ..?* .[!.]* *
306- done
285+ run : .github/workflows/cleanup.sh
307286
308287 - name : Git Checkout
309288 uses : actions/checkout@v2
0 commit comments