From 082db21db2c923116b2cc8f8d28d311c4f0a7d39 Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Mon, 10 Feb 2025 21:43:39 +0000
Subject: [PATCH] [add] github actions

---
 .github/workflows/ci-basex.yaml | 57 +++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 .github/workflows/ci-basex.yaml

diff --git a/.github/workflows/ci-basex.yaml b/.github/workflows/ci-basex.yaml
new file mode 100644
index 0000000..138153f
--- /dev/null
+++ b/.github/workflows/ci-basex.yaml
@@ -0,0 +1,57 @@
+name: Run BaseX Tests
+
+on:
+  workflow_dispatch: # Enables manual trigger
+  push:
+    branches:
+      - main
+    paths:
+      - '.gitea/workflows/trigger/release'
+
+  
+jobs:
+ test:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Set up Java
+      uses: actions/setup-java@v4
+      with:
+        distribution: 'temurin'
+        java-version: '17'
+
+    - name: Download BaseX
+      run: |
+        BASEX_VERSION="10.7"  # Example version (adjust as needed)
+        # Remove dots from version for filename (e.g., "11.7" → "117") "9.7.4","10.7"
+        BASEX_CLEAN_VERSION="${BASEX_VERSION//./}"
+        wget https://files.basex.org/releases/$BASEX_VERSION/BaseX$BASEX_CLEAN_VERSION.zip -O BaseX.zip
+
+    - name: Unzip BaseX
+      run: |
+        unzip BaseX.zip -d $HOME      
+        rm BaseX.zip
+
+    - name: Add BaseX to PATH
+      run: |
+        echo "BASEX_ROOT=$HOME/basex" >> $GITHUB_ENV 
+        echo "PATH=$PATH:$HOME/basex/bin" >> $GITHUB_ENV
+
+    - name: Verify BaseX installation
+      run: |
+        basex -c "SHOW OPTIONS"
+
+    - name: Checkout repository
+      uses: actions/checkout@v4
+      with:
+        ref: main
+        
+    - name: Build package
+      run: |
+        basex scripts/make-xar.xq
+        basex scripts/repo-install.xq
+      
+    - name: Run tests
+      run: |
+        basex -Wt src/test
+       
+