Fixes #3823 - Publish Piranha Platform docker image (#3829)

piranhacloud · Sep 23, 2024 · 76de9c6 · 76de9c6
1 parent de30c38
commit 76de9c6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -50,6 +50,11 @@ jobs:
         mvn -B -Dmaven.javadoc.skip=true -DskipTests=true -DskipITs=true -ntp -P '!test' install
         cd dist/microprofile
         mvn -B -DskipTests=true -DskipITs=true -ntp -P docker deploy
+    - name: Build Piranha Platform image
+      run: |
+        mvn -B -Dmaven.javadoc.skip=true -DskipTests=true -DskipITs=true -ntp -P '!test' install
+        cd dist/platform
+        mvn -B -DskipTests=true -DskipITs=true -ntp -P docker deploy
     - name: Build Piranha Server image
       run: |
         mvn -B -Dmaven.javadoc.skip=true -DskipTests=true -DskipITs=true -ntp -P '!test' install