Skip to content

Commit bb90d85

Browse files
hamzaremmalhamzaremmal
committed
Adapt for scala/scala3
1 parent beba585 commit bb90d85

File tree

3 files changed

+65
-65
lines changed

3 files changed

+65
-65
lines changed

‎.github/workflows/ci.yaml‎

Lines changed: 54 additions & 54 deletions
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ jobs:
5353
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
5454
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
5555
- ${{ github.workspace }}/../../cache/general:/root/.cache
56-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
56+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
5757
|| github.event_name == 'push'
5858
|| (
5959
github.event_name == 'pull_request'
@@ -62,17 +62,17 @@ jobs:
6262
)
6363
|| (
6464
github.event_name == 'workflow_dispatch'
65-
&& github.repository == 'lampepfl/dotty'
65+
&& github.repository == 'scala/scala3'
6666
)"
6767
steps:
6868
- name: Set JDK 17 as default
6969
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
7070

71-
## Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/lampepfl/dotty/pull/19720)
71+
## Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/scala/scala3/pull/19720)
7272
- name: Reset existing repo
7373
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
74+
git config --global --add safe.directory /__w/scala3/scala3
75+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
7676
7777
- name: Checkout cleanup script
7878
uses: actions/checkout@v4
@@ -105,7 +105,7 @@ jobs:
105105
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
106106
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
107107
- ${{ github.workspace }}/../../cache/general:/root/.cache
108-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
108+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
109109
|| github.event_name == 'push'
110110
|| github.event_name == 'merge_group'
111111
|| (
@@ -115,7 +115,7 @@ jobs:
115115
)
116116
|| (
117117
github.event_name == 'workflow_dispatch'
118-
&& github.repository == 'lampepfl/dotty'
118+
&& github.repository == 'scala/scala3'
119119
)"
120120

121121
steps:
@@ -124,8 +124,8 @@ jobs:
124124

125125
- name: Reset existing repo
126126
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
127+
git config --global --add safe.directory /__w/scala3/scala3
128+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
129129
130130
- name: Checkout cleanup script
131131
uses: actions/checkout@v4
@@ -164,14 +164,14 @@ jobs:
164164
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
165165
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
166166
- ${{ github.workspace }}/../../cache/general:/root/.cache
167-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
167+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
168168
|| (
169169
github.event_name == 'pull_request'
170170
&& contains(github.event.pull_request.body, '[test_scala2_library_tasty]')
171171
)
172172
|| (
173173
github.event_name == 'workflow_dispatch'
174-
&& github.repository == 'lampepfl/dotty'
174+
&& github.repository == 'scala/scala3'
175175
)"
176176

177177
steps:
@@ -180,8 +180,8 @@ jobs:
180180

181181
- name: Reset existing repo
182182
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
183+
git config --global --add safe.directory /__w/scala3/scala3
184+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
185185
186186
- name: Checkout cleanup script
187187
uses: actions/checkout@v4
@@ -220,8 +220,8 @@ jobs:
220220
- name: Reset existing repo
221221
shell: cmd
222222
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
223+
git config --global --add safe.directory /__w/scala3/scala3
224+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
225225
226226
- name: Git Checkout
227227
uses: actions/checkout@v4
@@ -252,7 +252,7 @@ jobs:
252252

253253
test_windows_full:
254254
runs-on: [self-hosted, Windows]
255-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
255+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
256256
|| github.event_name == 'push'
257257
|| (
258258
github.event_name == 'pull_request'
@@ -264,8 +264,8 @@ jobs:
264264
- name: Reset existing repo
265265
shell: cmd
266266
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
267+
git config --global --add safe.directory /__w/scala3/scala3
268+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
269269
270270
- name: Git Checkout
271271
uses: actions/checkout@v4
@@ -288,7 +288,7 @@ jobs:
288288
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
289289
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
290290
- ${{ github.workspace }}/../../cache/general:/root/.cache
291-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
291+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
292292
|| github.event_name == 'push'
293293
|| github.event_name == 'merge_group'
294294
|| (
@@ -298,16 +298,16 @@ jobs:
298298
)
299299
|| (
300300
github.event_name == 'workflow_dispatch'
301-
&& github.repository == 'lampepfl/dotty'
301+
&& github.repository == 'scala/scala3'
302302
)"
303303
steps:
304304
- name: Set JDK 17 as default
305305
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
306306

307307
- name: Reset existing repo
308308
run: |
309-
git config --global --add safe.directory /__w/dotty/dotty
310-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
309+
git config --global --add safe.directory /__w/scala3/scala3
310+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
311311
312312
- name: Checkout cleanup script
313313
uses: actions/checkout@v4
@@ -339,7 +339,7 @@ jobs:
339339
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
340340
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
341341
- ${{ github.workspace }}/../../cache/general:/root/.cache
342-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
342+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
343343
|| github.event_name == 'push'
344344
|| github.event_name == 'merge_group'
345345
|| (
@@ -350,16 +350,16 @@ jobs:
350350
)
351351
|| (
352352
github.event_name == 'workflow_dispatch'
353-
&& github.repository == 'lampepfl/dotty'
353+
&& github.repository == 'scala/scala3'
354354
)"
355355

356356
steps:
357357
- name: Set JDK 8 as default
358358
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
359359
- name: Reset existing repo
360360
run: |
361-
git config --global --add safe.directory /__w/dotty/dotty
362-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
361+
git config --global --add safe.directory /__w/scala3/scala3
362+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
363363
364364
- name: Checkout cleanup script
365365
uses: actions/checkout@v4
@@ -375,7 +375,7 @@ jobs:
375375

376376
- name: Test
377377
run: |
378-
git config --global --add safe.directory /__w/dotty/dotty
378+
git config --global --add safe.directory /__w/scala3/scala3
379379
git submodule sync
380380
git submodule update --init --recursive --jobs 7
381381
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestA"
@@ -393,7 +393,7 @@ jobs:
393393
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
394394
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
395395
- ${{ github.workspace }}/../../cache/general:/root/.cache
396-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
396+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
397397
|| github.event_name == 'push'
398398
|| github.event_name == 'merge_group'
399399
|| (
@@ -404,16 +404,16 @@ jobs:
404404
)
405405
|| (
406406
github.event_name == 'workflow_dispatch'
407-
&& github.repository == 'lampepfl/dotty'
407+
&& github.repository == 'scala/scala3'
408408
)"
409409

410410
steps:
411411
- name: Set JDK 8 as default
412412
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
413413
- name: Reset existing repo
414414
run: |
415-
git config --global --add safe.directory /__w/dotty/dotty
416-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
415+
git config --global --add safe.directory /__w/scala3/scala3
416+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
417417
418418
- name: Checkout cleanup script
419419
uses: actions/checkout@v4
@@ -429,7 +429,7 @@ jobs:
429429

430430
- name: Test
431431
run: |
432-
git config --global --add safe.directory /__w/dotty/dotty
432+
git config --global --add safe.directory /__w/scala3/scala3
433433
git submodule sync
434434
git submodule update --init --recursive --jobs 7
435435
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestB"
@@ -447,7 +447,7 @@ jobs:
447447
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
448448
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
449449
- ${{ github.workspace }}/../../cache/general:/root/.cache
450-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
450+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
451451
|| github.event_name == 'push'
452452
|| github.event_name == 'merge_group'
453453
|| (
@@ -458,16 +458,16 @@ jobs:
458458
)
459459
|| (
460460
github.event_name == 'workflow_dispatch'
461-
&& github.repository == 'lampepfl/dotty'
461+
&& github.repository == 'scala/scala3'
462462
)"
463463

464464
steps:
465465
- name: Set JDK 8 as default
466466
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
467467
- name: Reset existing repo
468468
run: |
469-
git config --global --add safe.directory /__w/dotty/dotty
470-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
469+
git config --global --add safe.directory /__w/scala3/scala3
470+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
471471
472472
- name: Checkout cleanup script
473473
uses: actions/checkout@v4
@@ -483,7 +483,7 @@ jobs:
483483

484484
- name: Test
485485
run: |
486-
git config --global --add safe.directory /__w/dotty/dotty
486+
git config --global --add safe.directory /__w/scala3/scala3
487487
git submodule sync
488488
git submodule update --init --recursive --jobs 7
489489
./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestC"
@@ -501,7 +501,7 @@ jobs:
501501
- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
502502
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
503503
- ${{ github.workspace }}/../../cache/general:/root/.cache
504-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
504+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
505505
|| github.event_name == 'push'
506506
|| (
507507
github.event_name == 'pull_request'
@@ -510,7 +510,7 @@ jobs:
510510
)
511511
|| (
512512
github.event_name == 'workflow_dispatch'
513-
&& github.repository == 'lampepfl/dotty'
513+
&& github.repository == 'scala/scala3'
514514
)"
515515

516516
steps:
@@ -519,8 +519,8 @@ jobs:
519519

520520
- name: Reset existing repo
521521
run: |
522-
git config --global --add safe.directory /__w/dotty/dotty
523-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
522+
git config --global --add safe.directory /__w/scala3/scala3
523+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
524524
525525
- name: Checkout cleanup script
526526
uses: actions/checkout@v4
@@ -547,7 +547,7 @@ jobs:
547547
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
548548
- ${{ github.workspace }}/../../cache/general:/root/.cache
549549

550-
if: "github.event_name == 'schedule' && github.repository == 'lampepfl/dotty'
550+
if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
551551
|| (
552552
github.event_name == 'push'
553553
&& startsWith(github.event.ref, 'refs/tags/')
@@ -559,7 +559,7 @@ jobs:
559559
)
560560
|| (
561561
github.event_name == 'workflow_dispatch'
562-
&& github.repository == 'lampepfl/dotty'
562+
&& github.repository == 'scala/scala3'
563563
)"
564564

565565
steps:
@@ -568,8 +568,8 @@ jobs:
568568

569569
- name: Reset existing repo
570570
run: |
571-
git config --global --add safe.directory /__w/dotty/dotty
572-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
571+
git config --global --add safe.directory /__w/scala3/scala3
572+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
573573
574574
- name: Checkout cleanup script
575575
uses: actions/checkout@v4
@@ -603,7 +603,7 @@ jobs:
603603
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
604604
- ${{ github.workspace }}/../../cache/general:/root/.cache
605605
needs: [test_non_bootstrapped, test, mima, community_build_a, community_build_b, community_build_c, test_sbt, test_java8]
606-
if: "(github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') && github.repository == 'lampepfl/dotty'"
606+
if: "(github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') && github.repository == 'scala/scala3'"
607607
env:
608608
NIGHTLYBUILD: yes
609609
PGP_PW: ${{ secrets.PGP_PW }} # PGP passphrase
@@ -616,8 +616,8 @@ jobs:
616616
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
617617
- name: Reset existing repo
618618
run: |
619-
git config --global --add safe.directory /__w/dotty/dotty
620-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
619+
git config --global --add safe.directory /__w/scala3/scala3
620+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
621621
622622
- name: Checkout cleanup script
623623
uses: actions/checkout@v4
@@ -658,7 +658,7 @@ jobs:
658658
- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
659659
- ${{ github.workspace }}/../../cache/general:/root/.cache
660660
needs: [publish_nightly]
661-
if: "(github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') && github.repository == 'lampepfl/dotty'"
661+
if: "(github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') && github.repository == 'scala/scala3'"
662662
env:
663663
NIGHTLYBUILD: yes
664664
DOTTY_WEBSITE_BOT_TOKEN: ${{ secrets.BOT_TOKEN }} # If you need to change this:
@@ -672,8 +672,8 @@ jobs:
672672
steps:
673673
- name: Reset existing repo
674674
run: |
675-
git config --global --add safe.directory /__w/dotty/dotty
676-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
675+
git config --global --add safe.directory /__w/scala3/scala3
676+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
677677
678678
- name: Checkout cleanup script
679679
uses: actions/checkout@v4
@@ -689,7 +689,7 @@ jobs:
689689

690690
- name: Generate Website
691691
run: |
692-
git config --global --add safe.directory /__w/dotty/dotty
692+
git config --global --add safe.directory /__w/scala3/scala3
693693
./project/scripts/genDocs -doc-snapshot
694694
695695
- name: Deploy Website to dotty-website
@@ -727,8 +727,8 @@ jobs:
727727
run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
728728
- name: Reset existing repo
729729
run: |
730-
git config --global --add safe.directory /__w/dotty/dotty
731-
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
730+
git config --global --add safe.directory /__w/scala3/scala3
731+
git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true
732732
733733
- name: Checkout cleanup script
734734
uses: actions/checkout@v4

0 commit comments

Comments
 (0)