From 3faca76df8622e47ce893b5e970f28d5129634aa Mon Sep 17 00:00:00 2001 From: Zdenek Jonas Date: Fri, 10 Nov 2023 13:30:26 +0100 Subject: [PATCH] add maven profile + script --- .github/workflows/maven_build.yml | 5 +++-- pom.xml | 6 ++++++ 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/.github/workflows/maven_build.yml b/.github/workflows/maven_build.yml index 51f6c1d3..23436f2d 100644 --- a/.github/workflows/maven_build.yml +++ b/.github/workflows/maven_build.yml @@ -5,7 +5,8 @@ name: Java CI with Maven on: push: - branches: [ main] + branches: + - '*' pull_request: branches: [ main ] @@ -24,4 +25,4 @@ jobs: distribution: 'temurin' cache: 'maven' - name: Build with Maven - run: mvn -B package --file pom.xml -U + run: mvn -P examples -B package --file pom.xml -U diff --git a/pom.xml b/pom.xml index 57bed089..57639a3b 100644 --- a/pom.xml +++ b/pom.xml @@ -378,6 +378,12 @@ + + examples + + examples + + production