Revert "Remove hardcoded timeout in favor of relying on global ZK tim… #266

	name: Build documentation

	on:
	push:
	branches:
	- master

	permissions:
	id-token: write
	pages: write

	env:
	INSTANCE: docs/astra
	ARTIFACT: webHelpASTRA2-all.zip
	DOCKER_VERSION: 241.15989

	jobs:
	changes:
	runs-on: ubuntu-latest
	permissions:
	pull-requests: read
	outputs:
	docs: ${{ steps.filter.outputs.docs }}
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- uses: dorny/paths-filter@v3
	id: filter
	with:
	filters: \|
	docs:
	- 'docs/**'

	build:
	runs-on: ubuntu-latest
	needs: changes
	if: ${{ needs.changes.outputs.docs == 'true' }}

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

	- name: Build Writerside docs using Docker
	uses: JetBrains/writerside-github-action@v4
	with:
	instance: ${{ env.INSTANCE }}
	artifact: ${{ env.ARTIFACT }}
	docker-version: ${{ env.DOCKER_VERSION }}

	- name: Upload artifact
	uses: actions/upload-artifact@v4
	with:
	name: docs
	path: \|
	artifacts/${{ env.ARTIFACT }}
	retention-days: 7

	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	needs: [changes, build]
	runs-on: ubuntu-latest
	if: ${{ needs.changes.outputs.docs == 'true' }}

	steps:
	- name: Download artifact
	uses: actions/download-artifact@v4
	with:
	name: docs

	- name: Unzip artifact
	run: unzip -O UTF-8 -qq ${{ env.ARTIFACT }} -d dir

	- name: Setup Pages
	uses: actions/[email protected]

	- name: Upload artifact
	uses: actions/[email protected]
	with:
	path: dir

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/[email protected]

Provide feedback