From 0bb0cff7ca194befb85b8cfe37b7433c97c0409a Mon Sep 17 00:00:00 2001
From: Andreas Svanberg <andreass@dsv.su.se>
Date: Thu, 27 Mar 2025 15:07:33 +0100
Subject: [PATCH] Build on push

---
 .gitea/workflows/build.yaml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .gitea/workflows/build.yaml

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
new file mode 100644
index 0000000..1914e19
--- /dev/null
+++ b/.gitea/workflows/build.yaml
@@ -0,0 +1,15 @@
+on:
+  - push
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up JDK
+        uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 17
+          cache: maven
+      - name: Build with Maven
+        run: ./mvnw clean verify --batch-mode