solve the redirect issue in find terms #10

	name: Build & Deploy MkDocs with ROBOT

	on:
	push:
	branches: [ main ]

	permissions:
	contents: write

	jobs:
	deploy:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.11"

	- name: Install Python dependencies
	run: \|
	if [ -f requirements.txt ]; then
	pip install -r requirements.txt
	else
	# Fallback if no requirements.txt present
	pip install mkdocs-material mkdocs-gen-files mkdocs-macros-plugin pandas rdflib
	fi

	- name: Set up Java (for ROBOT)
	uses: actions/setup-java@v4
	with:
	distribution: temurin
	java-version: "17"

	- name: Install ROBOT
	run: \|
	curl -L -o robot.jar https://github.com/ontodev/robot/releases/latest/download/robot.jar
	echo '#!/usr/bin/env bash' > robot
	echo 'set -euo pipefail' >> robot
	echo 'java -Xmx4G -jar "$(dirname "$0")/robot.jar" "$@"' >> robot
	chmod +x robot
	sudo mv robot robot.jar /usr/local/bin/
	robot --version

	- name: Build site (runs ROBOT through your MkDocs gen-files script)
	env:
	ONTOLOGY_DIRS: Ontologies
	PATTERNS_DIR: "Patterns"
	MEASURE_LEVEL: extended # or all / all-reasoner
	run: mkdocs build --clean


	- name: Configure git author (for gh-deploy commit)
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "github-actions[bot]@users.noreply.github.com"

	- name: Deploy to GitHub Pages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: mkdocs gh-deploy --force

Provide feedback