68
68
- name : Set JDK 16 as default
69
69
run : echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH
70
70
71
+ # # Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/lampepfl/dotty/pull/19720)
71
72
- name : Reset existing repo
72
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
73
+ run : |
74
+ git config --global --add safe.directory /__w/dotty/dotty
75
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
73
76
74
77
- name : Checkout cleanup script
75
78
uses : actions/checkout@v3
@@ -120,7 +123,9 @@ jobs:
120
123
run : echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH
121
124
122
125
- name : Reset existing repo
123
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
126
+ run : |
127
+ git config --global --add safe.directory /__w/dotty/dotty
128
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
124
129
125
130
- name : Checkout cleanup script
126
131
uses : actions/checkout@v3
@@ -144,6 +149,7 @@ jobs:
144
149
run : |
145
150
./project/scripts/sbt ";sjsSandbox/run ;sjsSandbox/test ;sjsJUnitTests/test ;set sjsJUnitTests/scalaJSLinkerConfig ~= switchToESModules ;sjsJUnitTests/test ;sjsCompilerTests/test"
146
151
152
+
147
153
test_windows_fast :
148
154
runs-on : [self-hosted, Windows]
149
155
if : " (
@@ -159,8 +165,10 @@ jobs:
159
165
160
166
steps :
161
167
- name : Reset existing repo
162
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
163
168
shell : cmd
169
+ run : |
170
+ git config --global --add safe.directory /__w/dotty/dotty
171
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
164
172
165
173
- name : Git Checkout
166
174
uses : actions/checkout@v3
@@ -201,8 +209,10 @@ jobs:
201
209
202
210
steps :
203
211
- name : Reset existing repo
204
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
205
212
shell : cmd
213
+ run : |
214
+ git config --global --add safe.directory /__w/dotty/dotty
215
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
206
216
207
217
- name : Git Checkout
208
218
uses : actions/checkout@v3
@@ -239,7 +249,9 @@ jobs:
239
249
)"
240
250
steps :
241
251
- name : Reset existing repo
242
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
252
+ run : |
253
+ git config --global --add safe.directory /__w/dotty/dotty
254
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
243
255
244
256
- name : Checkout cleanup script
245
257
uses : actions/checkout@v3
@@ -282,7 +294,9 @@ jobs:
282
294
283
295
steps :
284
296
- name : Reset existing repo
285
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
297
+ run : |
298
+ git config --global --add safe.directory /__w/dotty/dotty
299
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
286
300
287
301
- name : Checkout cleanup script
288
302
uses : actions/checkout@v3
@@ -331,7 +345,9 @@ jobs:
331
345
332
346
steps :
333
347
- name : Reset existing repo
334
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
348
+ run : |
349
+ git config --global --add safe.directory /__w/dotty/dotty
350
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
335
351
336
352
- name : Checkout cleanup script
337
353
uses : actions/checkout@v3
@@ -380,7 +396,9 @@ jobs:
380
396
381
397
steps :
382
398
- name : Reset existing repo
383
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
399
+ run : |
400
+ git config --global --add safe.directory /__w/dotty/dotty
401
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
384
402
385
403
- name : Checkout cleanup script
386
404
uses : actions/checkout@v3
@@ -427,7 +445,9 @@ jobs:
427
445
428
446
steps :
429
447
- name : Reset existing repo
430
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
448
+ run : |
449
+ git config --global --add safe.directory /__w/dotty/dotty
450
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
431
451
432
452
- name : Checkout cleanup script
433
453
uses : actions/checkout@v3
@@ -474,7 +494,9 @@ jobs:
474
494
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
475
495
476
496
- name : Reset existing repo
477
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
497
+ run : |
498
+ git config --global --add safe.directory /__w/dotty/dotty
499
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
478
500
479
501
- name : Checkout cleanup script
480
502
uses : actions/checkout@v3
@@ -518,7 +540,9 @@ jobs:
518
540
519
541
steps :
520
542
- name : Reset existing repo
521
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
543
+ run : |
544
+ git config --global --add safe.directory /__w/dotty/dotty
545
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
522
546
523
547
- name : Checkout cleanup script
524
548
uses : actions/checkout@v3
@@ -572,7 +596,9 @@ jobs:
572
596
573
597
steps :
574
598
- name : Reset existing repo
575
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
599
+ run : |
600
+ git config --global --add safe.directory /__w/dotty/dotty
601
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
576
602
577
603
- name : Checkout cleanup script
578
604
uses : actions/checkout@v3
@@ -623,7 +649,9 @@ jobs:
623
649
624
650
steps :
625
651
- name : Reset existing repo
626
- run : git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
652
+ run : |
653
+ git config --global --add safe.directory /__w/dotty/dotty
654
+ git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
627
655
628
656
- name : Checkout cleanup script
629
657
uses : actions/checkout@v3
0 commit comments