72
72
# # Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/scala/scala3/pull/19720)
73
73
- name : Reset existing repo
74
74
run : |
75
- git config --global --add safe.directory /__w/scala3/scala3
75
+ git config --global --add safe.directory $GITHUB_WORKSPACE
76
76
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
77
77
78
78
- name : Checkout cleanup script
@@ -125,7 +125,7 @@ jobs:
125
125
126
126
- name : Reset existing repo
127
127
run : |
128
- git config --global --add safe.directory /__w/scala3/scala3
128
+ git config --global --add safe.directory $GITHUB_WORKSPACE
129
129
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
130
130
131
131
- name : Checkout cleanup script
@@ -168,7 +168,7 @@ jobs:
168
168
- name : Reset existing repo
169
169
shell : cmd
170
170
run : |
171
- git config --global --add safe.directory /__w/scala3/scala3
171
+ git config --global --add safe.directory $GITHUB_WORKSPACE
172
172
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
173
173
174
174
- name : Git Checkout
@@ -212,7 +212,7 @@ jobs:
212
212
- name : Reset existing repo
213
213
shell : cmd
214
214
run : |
215
- git config --global --add safe.directory /__w/scala3/scala3
215
+ git config --global --add safe.directory $GITHUB_WORKSPACE
216
216
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
217
217
218
218
- name : Git Checkout
@@ -254,7 +254,7 @@ jobs:
254
254
255
255
- name : Reset existing repo
256
256
run : |
257
- git config --global --add safe.directory /__w/scala3/scala3
257
+ git config --global --add safe.directory $GITHUB_WORKSPACE
258
258
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
259
259
260
260
- name : Checkout cleanup script
@@ -301,7 +301,7 @@ jobs:
301
301
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
302
302
- name : Reset existing repo
303
303
run : |
304
- git config --global --add safe.directory /__w/scala3/scala3
304
+ git config --global --add safe.directory $GITHUB_WORKSPACE
305
305
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
306
306
307
307
- name : Checkout cleanup script
@@ -318,7 +318,7 @@ jobs:
318
318
319
319
- name : Test
320
320
run : |
321
- git config --global --add safe.directory /__w/scala3/scala3
321
+ git config --global --add safe.directory $GITHUB_WORKSPACE
322
322
git submodule sync
323
323
git submodule update --init --recursive --jobs 7
324
324
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestA"
@@ -355,7 +355,7 @@ jobs:
355
355
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
356
356
- name : Reset existing repo
357
357
run : |
358
- git config --global --add safe.directory /__w/scala3/scala3
358
+ git config --global --add safe.directory $GITHUB_WORKSPACE
359
359
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
360
360
361
361
- name : Checkout cleanup script
@@ -372,7 +372,7 @@ jobs:
372
372
373
373
- name : Test
374
374
run : |
375
- git config --global --add safe.directory /__w/scala3/scala3
375
+ git config --global --add safe.directory $GITHUB_WORKSPACE
376
376
git submodule sync
377
377
git submodule update --init --recursive --jobs 7
378
378
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestB"
@@ -409,7 +409,7 @@ jobs:
409
409
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
410
410
- name : Reset existing repo
411
411
run : |
412
- git config --global --add safe.directory /__w/scala3/scala3
412
+ git config --global --add safe.directory $GITHUB_WORKSPACE
413
413
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
414
414
415
415
- name : Checkout cleanup script
@@ -426,7 +426,7 @@ jobs:
426
426
427
427
- name : Test
428
428
run : |
429
- git config --global --add safe.directory /__w/scala3/scala3
429
+ git config --global --add safe.directory $GITHUB_WORKSPACE
430
430
git submodule sync
431
431
git submodule update --init --recursive --jobs 7
432
432
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestC"
@@ -462,7 +462,7 @@ jobs:
462
462
463
463
- name : Reset existing repo
464
464
run : |
465
- git config --global --add safe.directory /__w/scala3/scala3
465
+ git config --global --add safe.directory $GITHUB_WORKSPACE
466
466
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
467
467
468
468
- name : Checkout cleanup script
@@ -511,7 +511,7 @@ jobs:
511
511
512
512
- name : Reset existing repo
513
513
run : |
514
- git config --global --add safe.directory /__w/scala3/scala3
514
+ git config --global --add safe.directory $GITHUB_WORKSPACE
515
515
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
516
516
517
517
- name : Checkout cleanup script
@@ -559,7 +559,7 @@ jobs:
559
559
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
560
560
- name : Reset existing repo
561
561
run : |
562
- git config --global --add safe.directory /__w/scala3/scala3
562
+ git config --global --add safe.directory $GITHUB_WORKSPACE
563
563
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
564
564
565
565
- name : Checkout cleanup script
@@ -623,7 +623,7 @@ jobs:
623
623
steps :
624
624
- name : Reset existing repo
625
625
run : |
626
- git config --global --add safe.directory /__w/scala3/scala3
626
+ git config --global --add safe.directory $GITHUB_WORKSPACE
627
627
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
628
628
629
629
- name : Checkout cleanup script
@@ -640,7 +640,7 @@ jobs:
640
640
641
641
- name : Generate Website
642
642
run : |
643
- git config --global --add safe.directory /__w/scala3/scala3
643
+ git config --global --add safe.directory $GITHUB_WORKSPACE
644
644
./project/scripts/genDocs -doc-snapshot
645
645
646
646
- name : Deploy Website to dotty-website
@@ -678,7 +678,7 @@ jobs:
678
678
run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
679
679
- name : Reset existing repo
680
680
run : |
681
- git config --global --add safe.directory /__w/scala3/scala3
681
+ git config --global --add safe.directory $GITHUB_WORKSPACE
682
682
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
683
683
684
684
- name : Checkout cleanup script
0 commit comments