From e24c217ce9f4e0a93659797fa1560c80bc69ea3e Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti@vaadin.com>
Date: Wed, 6 Sep 2023 16:56:25 +0300
Subject: [PATCH] basic CI build for PRs

---
 .github/workflows/ci-build.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .github/workflows/ci-build.yml

diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml
new file mode 100644
index 0000000..aeb8808
--- /dev/null
+++ b/.github/workflows/ci-build.yml
@@ -0,0 +1,18 @@
+name: Java CI
+
+on: [pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    if: ${{ !contains(github.event.head_commit.message, '[maven-release-plugin]') }}
+
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up JDK 17
+        uses: actions/setup-java@v3
+        with:
+          java-version: '17'
+          distribution: 'temurin'
+      - name: Build with Maven
+        run: mvn --batch-mode install