Use SBT proxy repositories in CI

Docker bind mounts obscure the existing contents of a directory,
so the /root/.sbt/repositories file from the Docker image is no
longer visible after we bind mount on top of /root/.sbt

Author: griggt

.github/workflows/ci.yaml

@@ -34,6 +34,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Test
         run: |
           ./project/scripts/sbt ";compile ;test"
@@ -63,6 +66,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Test
         run: |
           ./project/scripts/sbt ";scala3-bootstrapped/compile ;scala3-bootstrapped/test;sjsSandbox/run;sjsSandbox/test;sjsJUnitTests/test;sjsCompilerTests/test ;sbt-dotty/scripted scala2-compat/* ;configureIDE ;stdlib-bootstrapped/test:run ;stdlib-bootstrapped-tasty-tests/test"
@@ -120,6 +126,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Test
         run: |
           git submodule sync
@@ -150,6 +159,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Test
         run: ./project/scripts/sbt sbt-dotty/scripted
 
@@ -182,6 +194,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Test
         run: ./project/scripts/sbt ";compile ;test"
 
@@ -212,6 +227,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Publish Nightly
         run: |
           ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonatypeBundleRelease"
@@ -242,6 +260,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Generate Website
         run: |
           ./project/scripts/genDocs -doc-snapshot
@@ -284,6 +305,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Publish Release
         run: |
           ./project/scripts/sbt dist/packArchive
@@ -362,6 +386,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Generate Website
         run: |
           ./project/scripts/genDocs -doc-snapshot
@@ -403,6 +430,9 @@ jobs:
       - name: Git Checkout
         uses: actions/checkout@v2
 
+      - name: Add SBT proxy repositories
+        run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
+
       - name: Publish Dotty SBT Plugin Release
         run: |
           ./project/scripts/sbtPublish ";project sbt-dotty ;publishSigned ;sonatypeBundleRelease"

.github/workflows/repositories

@@ -0,0 +1,4 @@
+[repositories]
+local
+my-ivy-proxy-releases: https://scala-webapps.epfl.ch/artifactory/sbt-plugin-releases/, [organization]/[module]/(scala_[scalaVersion]/)(sbt_[sbtVersion]/)[revision]/[type]s/[artifact](-[classifier]).[ext]
+my-maven-proxy-releases: https://scala-webapps.epfl.ch/artifactory/central/