diff --git a/.gitea/workflows/ci-basex.yaml b/.gitea/workflows/ci-basex.yaml index 5e8d93d..138153f 100644 --- a/.gitea/workflows/ci-basex.yaml +++ b/.gitea/workflows/ci-basex.yaml @@ -28,7 +28,7 @@ jobs: - name: Unzip BaseX run: | - unzip BaseX107.zip -d $HOME + unzip BaseX.zip -d $HOME rm BaseX.zip - name: Add BaseX to PATH diff --git a/.gitea/workflows/trigger/release b/.gitea/workflows/trigger/release index 3fc75c4..cc26952 100644 --- a/.gitea/workflows/trigger/release +++ b/.gitea/workflows/trigger/release @@ -4,4 +4,4 @@ c Xyxh 4456 9.7.4 xyxz01x -a \ No newline at end of file +ab \ No newline at end of file diff --git a/.github/workflows/ci-basex.yaml b/.github/workflows/ci-basex.yaml deleted file mode 100644 index 5e8d93d..0000000 --- a/.github/workflows/ci-basex.yaml +++ /dev/null @@ -1,57 +0,0 @@ -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 BaseX107.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 - -