use maven cache in github actions

vorpal-research · Jan 18, 2024 · e01b65d · e01b65d
1 parent ffea43f
commit e01b65d
Show file tree

Hide file tree

Showing 4 changed files with 36 additions and 0 deletions.
diff --git a/.github/workflows/jdk11-ci.yml b/.github/workflows/jdk11-ci.yml
@@ -18,6 +18,15 @@ jobs:
         uses: actions/setup-java@v1
         with:
           java-version: 11
+
+      - name: Cache local Maven repository
+        uses: actions/cache@v3
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+
       - name: Build with Maven
         run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
         env:

diff --git a/.github/workflows/jdk17-ci.yml b/.github/workflows/jdk17-ci.yml
@@ -18,6 +18,15 @@ jobs:
         uses: actions/setup-java@v1
         with:
           java-version: 17
+
+      - name: Cache local Maven repository
+        uses: actions/cache@v3
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+
       - name: Build with Maven
         run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
         env:

diff --git a/.github/workflows/jdk8-cd.yml b/.github/workflows/jdk8-cd.yml
@@ -15,6 +15,15 @@ jobs:
         uses: actions/setup-java@v1
         with:
           java-version: 1.8
+
+      - name: Cache local Maven repository
+        uses: actions/cache@v3
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+
       - name: Build sources
         id: build
         run: |

diff --git a/.github/workflows/jdk8-ci.yml b/.github/workflows/jdk8-ci.yml
@@ -18,6 +18,15 @@ jobs:
         uses: actions/setup-java@v1
         with:
           java-version: 1.8
+
+      - name: Cache local Maven repository
+        uses: actions/cache@v3
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+
       - name: Build with Maven
         run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
         env: