Merge pull request #58 from eclipse-store/zj/examples-1123

add maven profile + script
eclipse-store · Nov 10, 2023 · 817b87b · 817b87b
2 parents 2d850c6 + 3faca76
commit 817b87b
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git 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
@@ -378,6 +378,12 @@
     </build>
 
     <profiles>
+        <profile>
+            <id>examples</id>
+            <modules>
+                <module>examples</module>
+            </modules>
+        </profile>
         <profile>
             <id>production</id>
             <build>