[ci] improve release job

cyrilou242 · Jul 8, 2023 · 06711b3 · 06711b3
1 parent 5ae3188
commit 06711b3
Showing 1 changed file with 14 additions and 4 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -22,11 +22,13 @@ jobs:
           gpg-private-key: ${{ secrets.MAVEN_GPG_PRIVATE_KEY }}
 
       # don't use setup-java cache - hash file pattern has issues
-      - name: Cache local Maven repository
-        uses: actions/cache@v3
+      - name: Cache - restore local Maven repository
+        id: cache-restore
+        uses: actions/cache/restore@v3
         with:
           path: ~/.m2/repository
-          key: license-${{ runner.os }}-maven-${{ hashFiles('**/pom.xml', 'LICENSE', 'HEADER') }}
+          key: release-${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: release-${{ runner.os }}-maven-
       - name: set github user
         run: |
           git config --global user.name "jnotebook-ci"
@@ -41,7 +43,8 @@ jobs:
       - name: generate doc
         id: generate_doc
         run: |
-          java -jar jnotebook-distribution/target/jnotebook-distribution-*-SNAPSHOT.jar render doc/book.jsh index.html
+          ./mvnw -q -U clean install -DskipTests
+          ./jnotebook-distribution/target/jnotebook-distribution-*-SNAPSHOT.jar render -cp="" doc/book.jsh index.html
           EOF="EOFLOL"
           echo "INDEX_HTML<<$EOF" >> "$GITHUB_OUTPUT"
           cat index.html >> $GITHUB_OUTPUT
@@ -57,4 +60,11 @@ jobs:
           git push
         env:
           INDEX_HTML: ${{ steps.generate_doc.outputs.INDEX_HTML }}
+      - name: Cache - save local Maven repository
+        uses: actions/cache/save@v3
+        # save to cache only if necessary + cache even if tests failed (useful if flakiness)
+        if: steps.cache-restore.outputs.cache-hit != 'true' && ( failure() || success())
+        with:
+          path: ~/.m2/repository
+          key: release-${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}