[Dev] Fix when build local version with isolated build #370

	name: Documentation

	on:
	pull_request_target:
	types:
	- closed
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	docs:
	name: Build and Publish Docs
	if: \|
	github.repository_owner == 'tile-ai' &&
	(
	(
	github.event_name == 'pull_request_target' &&
	github.event.pull_request.merged == true &&
	github.event.pull_request.base.ref == 'main'
	) \|\|
	github.event_name == 'workflow_dispatch'
	)
	runs-on: [self-hosted, nvidia]
	steps:
	- name: Checkout repository
	uses: actions/checkout@v6
	with:
	fetch-depth: 0
	submodules: recursive

	- name: Setup Python
	uses: actions/setup-python@v6
	with:
	python-version: "3.10"

	- name: Build docs
	run: \|
	bash -ex maint/scripts/build_docs.sh

	- name: Push built docs to another repo
	run: \|
	# Hide sensitive info in logs
	echo "::add-mask::${{ secrets.TARGET_TOKEN }}"
	echo "::add-mask::${{ secrets.TARGET_REPO }}"
	TARGET_REPO_URL="https://github.com/${{ secrets.TARGET_REPO }}.git"

	git clone "${TARGET_REPO_URL}" -b main target_repo
	cd target_repo
	git config --local user.name "github-actions[bot]"
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	find . -mindepth 1 -maxdepth 1 ! -name ".github" ! -name "." ! -name ".git" -exec rm -rf {} +
	cp -r ../docs/_build/html/* ./
	git add .
	if [[ -n "$(git status --porcelain)" ]]; then
	# If there are changes, commit and push
	git commit -m "Update docs"
	git push "https://github-actions[bot]:${{ secrets.TARGET_TOKEN }}@${TARGET_REPO_URL##*://}" main
	else
	echo "No changes detected, skipping commit and push."
	fi

Provide feedback