Commit 17ecb72
committed
Clean GH Actions workspace before each job
GH Actions mounts docker volumes and executes the jobs from
them. For some reason it doesn't clean these volumes
automatically after each run. We assume that each run happens
on a clean workspace and hence there are weird consequences
when this assumption is broken.
One of them, for example, is failure to publish documentation
to GH Pages website. To publish such a documentation, we first
add the website remote to the Dotty github repo. If the remote
already exists, which is the case on a dirty workspace,
we get an error.1 parent 7a4f8ad commit 17ecb72
1 file changed
+21
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
18 | 21 | | |
19 | 22 | | |
20 | 23 | | |
| |||
49 | 52 | | |
50 | 53 | | |
51 | 54 | | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
52 | 58 | | |
53 | 59 | | |
54 | 60 | | |
| |||
83 | 89 | | |
84 | 90 | | |
85 | 91 | | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
86 | 95 | | |
87 | 96 | | |
88 | 97 | | |
| |||
123 | 132 | | |
124 | 133 | | |
125 | 134 | | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
126 | 138 | | |
127 | 139 | | |
128 | 140 | | |
| |||
160 | 172 | | |
161 | 173 | | |
162 | 174 | | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
163 | 178 | | |
164 | 179 | | |
165 | 180 | | |
| |||
202 | 217 | | |
203 | 218 | | |
204 | 219 | | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
205 | 223 | | |
206 | 224 | | |
207 | 225 | | |
| |||
242 | 260 | | |
243 | 261 | | |
244 | 262 | | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
245 | 266 | | |
246 | 267 | | |
247 | 268 | | |
| |||
0 commit comments