chore: faster maven mirror

Author: comphead

.github/workflows/docker-publish.yml

@@ -52,6 +52,7 @@ jobs:
         with:
           java-version: '17'
           distribution: 'temurin'
+          cache: 'maven'
       - name: Extract Comet version
         id: extract_version
         run: |

kube/Dockerfile

@@ -55,6 +55,9 @@ COPY .scalafix.conf /comet/.scalafix.conf
 COPY Makefile /comet/Makefile
 COPY pom.xml /comet/pom.xml
 
+RUN mkdir -p /root/.m2 && \
+    echo '<settings><mirrors><mirror><id>central</id><mirrorOf>central</mirrorOf><url>https://repo1.maven.org/maven2</url></mirror></mirrors></settings>' > /root/.m2/settings.xml
+
 # Pick the JDK instead of JRE to compile Comet
 RUN cd /comet \
     && JAVA_HOME=$(readlink -f $(which javac) | sed "s/\/bin\/javac//") make release-nogit PROFILES="-Pspark-$SPARK_VERSION -Pscala-$SCALA_VERSION"