Skip to content

Commit 7dc86c6

Browse files
hamzaremmalhamzaremmal
committed
1 parent bafaa34 commit 7dc86c6

File tree

2 files changed

+45
-15
lines changed

2 files changed

+45
-15
lines changed

Diff for: ‎.github/workflows/ci.yaml

+42-14
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,9 @@ jobs:
6969
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
7070

7171
- 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
72+
run: |
73+
git config --global --add safe.directory /__w/dotty/dotty
74+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
7375
7476
- name: Checkout cleanup script
7577
uses: actions/checkout@v4
@@ -120,7 +122,9 @@ jobs:
120122
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
121123

122124
- 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
125+
run: |
126+
git config --global --add safe.directory /__w/dotty/dotty
127+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
124128
125129
- name: Checkout cleanup script
126130
uses: actions/checkout@v4
@@ -174,7 +178,9 @@ jobs:
174178
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
175179

176180
- 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
181+
run: |
182+
git config --global --add safe.directory /__w/dotty/dotty
183+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
178184
179185
- name: Checkout cleanup script
180186
uses: actions/checkout@v4
@@ -211,8 +217,10 @@ jobs:
211217

212218
steps:
213219
- 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
215220
shell: cmd
221+
run: |
222+
git config --global --add safe.directory /__w/dotty/dotty
223+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
216224
217225
- name: Git Checkout
218226
uses: actions/checkout@v4
@@ -253,8 +261,10 @@ jobs:
253261

254262
steps:
255263
- 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
257264
shell: cmd
265+
run: |
266+
git config --global --add safe.directory /__w/dotty/dotty
267+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
258268
259269
- name: Git Checkout
260270
uses: actions/checkout@v4
@@ -294,7 +304,9 @@ jobs:
294304
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
295305

296306
- name: Reset existing repo
297-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
307+
run: |
308+
git config --global --add safe.directory /__w/dotty/dotty
309+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
298310
299311
- name: Checkout cleanup script
300312
uses: actions/checkout@v4
@@ -344,7 +356,9 @@ jobs:
344356
- name: Set JDK 8 as default
345357
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
346358
- name: Reset existing repo
347-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
359+
run: |
360+
git config --global --add safe.directory /__w/dotty/dotty
361+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
348362
349363
- name: Checkout cleanup script
350364
uses: actions/checkout@v4
@@ -396,7 +410,9 @@ jobs:
396410
- name: Set JDK 8 as default
397411
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
398412
- name: Reset existing repo
399-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
413+
run: |
414+
git config --global --add safe.directory /__w/dotty/dotty
415+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
400416
401417
- name: Checkout cleanup script
402418
uses: actions/checkout@v4
@@ -448,7 +464,9 @@ jobs:
448464
- name: Set JDK 8 as default
449465
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
450466
- name: Reset existing repo
451-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
467+
run: |
468+
git config --global --add safe.directory /__w/dotty/dotty
469+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
452470
453471
- name: Checkout cleanup script
454472
uses: actions/checkout@v4
@@ -499,7 +517,9 @@ jobs:
499517
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
500518

501519
- name: Reset existing repo
502-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
520+
run: |
521+
git config --global --add safe.directory /__w/dotty/dotty
522+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
503523
504524
- name: Checkout cleanup script
505525
uses: actions/checkout@v4
@@ -546,7 +566,9 @@ jobs:
546566
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
547567

548568
- name: Reset existing repo
549-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
569+
run: |
570+
git config --global --add safe.directory /__w/dotty/dotty
571+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
550572
551573
- name: Checkout cleanup script
552574
uses: actions/checkout@v4
@@ -592,7 +614,9 @@ jobs:
592614
- name: Set JDK 17 as default
593615
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
594616
- name: Reset existing repo
595-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
617+
run: |
618+
git config --global --add safe.directory /__w/dotty/dotty
619+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
596620
597621
- name: Checkout cleanup script
598622
uses: actions/checkout@v4
@@ -646,7 +670,9 @@ jobs:
646670

647671
steps:
648672
- name: Reset existing repo
649-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
673+
run: |
674+
git config --global --add safe.directory /__w/dotty/dotty
675+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
650676
651677
- name: Checkout cleanup script
652678
uses: actions/checkout@v4
@@ -697,7 +723,9 @@ jobs:
697723

698724
steps:
699725
- name: Reset existing repo
700-
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
726+
run: |
727+
git config --global --add safe.directory /__w/dotty/dotty
728+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
701729
702730
- name: Checkout cleanup script
703731
uses: actions/checkout@v4

Diff for: ‎.github/workflows/releases.yml

+3-1
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)