Skip to content

Commit 9f8f150

Browse files
hamzaremmalKordyjan
hamzaremmal
authored and
Kordyjan
committed
1 parent 30f86c5 commit 9f8f150

File tree

2 files changed

+46
-15
lines changed

2 files changed

+46
-15
lines changed

‎.github/workflows/ci.yaml‎

Lines changed: 43 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -68,8 +68,11 @@ jobs:
6868
- name: Set JDK 16 as default
6969
run: echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH
7070

71+
## Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/lampepfl/dotty/pull/19720)
7172
- 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
7376
7477
- name: Checkout cleanup script
7578
uses: actions/checkout@v4
@@ -120,7 +123,9 @@ jobs:
120123
run: echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH
121124

122125
- 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
124129
125130
- name: Checkout cleanup script
126131
uses: actions/checkout@v4
@@ -174,7 +179,9 @@ jobs:
174179
run: echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH
175180

176181
- name: Reset existing repo
177-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
182+
run: |
183+
git config --global --add safe.directory /__w/dotty/dotty
184+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
178185
179186
- name: Checkout cleanup script
180187
uses: actions/checkout@v4
@@ -211,8 +218,10 @@ jobs:
211218

212219
steps:
213220
- name: Reset existing repo
214-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
215221
shell: cmd
222+
run: |
223+
git config --global --add safe.directory /__w/dotty/dotty
224+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
216225
217226
- name: Git Checkout
218227
uses: actions/checkout@v4
@@ -253,8 +262,10 @@ jobs:
253262

254263
steps:
255264
- name: Reset existing repo
256-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
257265
shell: cmd
266+
run: |
267+
git config --global --add safe.directory /__w/dotty/dotty
268+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
258269
259270
- name: Git Checkout
260271
uses: actions/checkout@v4
@@ -291,7 +302,9 @@ jobs:
291302
)"
292303
steps:
293304
- name: Reset existing repo
294-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
305+
run: |
306+
git config --global --add safe.directory /__w/dotty/dotty
307+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
295308
296309
- name: Checkout cleanup script
297310
uses: actions/checkout@v4
@@ -339,7 +352,9 @@ jobs:
339352

340353
steps:
341354
- name: Reset existing repo
342-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
355+
run: |
356+
git config --global --add safe.directory /__w/dotty/dotty
357+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
343358
344359
- name: Checkout cleanup script
345360
uses: actions/checkout@v4
@@ -388,7 +403,9 @@ jobs:
388403

389404
steps:
390405
- name: Reset existing repo
391-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
406+
run: |
407+
git config --global --add safe.directory /__w/dotty/dotty
408+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
392409
393410
- name: Checkout cleanup script
394411
uses: actions/checkout@v4
@@ -437,7 +454,9 @@ jobs:
437454

438455
steps:
439456
- name: Reset existing repo
440-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
457+
run: |
458+
git config --global --add safe.directory /__w/dotty/dotty
459+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
441460
442461
- name: Checkout cleanup script
443462
uses: actions/checkout@v4
@@ -484,7 +503,9 @@ jobs:
484503

485504
steps:
486505
- name: Reset existing repo
487-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
506+
run: |
507+
git config --global --add safe.directory /__w/dotty/dotty
508+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
488509
489510
- name: Checkout cleanup script
490511
uses: actions/checkout@v4
@@ -531,7 +552,9 @@ jobs:
531552
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
532553

533554
- name: Reset existing repo
534-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
555+
run: |
556+
git config --global --add safe.directory /__w/dotty/dotty
557+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
535558
536559
- name: Checkout cleanup script
537560
uses: actions/checkout@v4
@@ -575,7 +598,9 @@ jobs:
575598

576599
steps:
577600
- name: Reset existing repo
578-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
601+
run: |
602+
git config --global --add safe.directory /__w/dotty/dotty
603+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
579604
580605
- name: Checkout cleanup script
581606
uses: actions/checkout@v4
@@ -629,7 +654,9 @@ jobs:
629654

630655
steps:
631656
- name: Reset existing repo
632-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
657+
run: |
658+
git config --global --add safe.directory /__w/dotty/dotty
659+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
633660
634661
- name: Checkout cleanup script
635662
uses: actions/checkout@v4
@@ -680,7 +707,9 @@ jobs:
680707

681708
steps:
682709
- name: Reset existing repo
683-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
710+
run: |
711+
git config --global --add safe.directory /__w/dotty/dotty
712+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
684713
685714
- name: Checkout cleanup script
686715
uses: actions/checkout@v4

‎.github/workflows/releases.yml‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,9 @@ jobs:
1818

1919
steps:
2020
- name: Reset existing repo
21-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
21+
run: |
22+
git config --global --add safe.directory /__w/dotty/dotty
23+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
2224
2325
- name: Cleanup
2426
run: .github/workflows/cleanup.sh

0 commit comments

Comments
 (0)