ci: Fix trigger path to documentation #20

	name: Build documentation
Check failure on line 1 in .github/workflows/build-docs.yml View workflow run for this annotation GitHub Actions / .github/workflows/build-docs.yml Invalid workflow file `pull_reques` is not a valid event name

	on:
	pull_reques:
	# all branches
	paths:
	- 'documentation/**'

	# This enables the Run Workflow button on the Actions tab.
	workflow_dispatch:

	# Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
	# installed in ../../_packages relative to documentation's Makefile
	env:
	DYLAN: ${{ github.workspace }}

	jobs:

	build:
	runs-on: ubuntu-latest
	steps:

	- name: Checkout code
	uses: actions/checkout@v4

	- name: Check links
	uses: addnab/docker-run-action@v3
	with:
	image: ghcr.io/fraya/dylan-docs
	options: -v ${{ github.workspace }}/documentation:/docs
	run: make linkcheck

	- name: Build docs with Furo theme
	uses: addnab/docker-run-action@v3
	with:
	image: ghcr.io/fraya/dylan-docs
	options: -v ${{ github.workspace }}/documentation:/docs
	run: make html

	- name: Upload html artifact
	uses: actions/upload-artifact@v4
	with:
	name: git-taller-doc-html
	path: documentation/build/html/

Provide feedback