Add GitHub action to build and test upon push or PR

.github/workflows/build.yml

@@ -0,0 +1,41 @@
+name: Build and Test BaseX
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+
+    steps:
+      # Checkout the repository
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      # Set up Java
+      - name: Set up JDK
+        uses: actions/setup-java@v3
+        with:
+          distribution: 'temurin'
+          java-version: '11'
+
+      # Build the project using Maven
+      - name: Build with Maven
+        run: mvn clean install
+
+      # Archive test reports and possible dumps in case of failure
+      - name: Upload test results
+        if: failure()
+        uses: actions/upload-artifact@v3
+        with:
+          name: test-results
+          path: |
+            '**/target/surefire-reports/**/*.xml'
+            '**/*.dump'
+            '**/*.dumpstream'