[#65070] frontend: custom: nodepalette: render search highlights in c… #63

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:

	PreCommit:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout sources
	uses: actions/checkout@v4
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.11
	- name: Install dependencies
	run: pip install -e .
	- name: Run pre-commit
	uses: pre-commit/[email protected]

	BuildServerApp:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout sources
	uses: actions/checkout@v4
	- name: Setup npm
	uses: actions/setup-node@v3
	with:
	node-version: 20
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.11
	- name: Install dependencies
	run: pip install -e .
	- name: Build server-app
	run: ./build server-app

	DeployDocs:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout sources
	uses: actions/checkout@v4
	- name: Setup npm
	uses: actions/setup-node@v3
	with:
	node-version: 20
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.11
	- name: Install dependencies
	run: pip install -e ".[docs]"
	- name: Build docs and static demo
	run: \|
	cd docs
	make html
	make linkcheck
	- uses: actions/upload-artifact@v3
	with:
	name: gh-page
	path: docs/build/html
	- name: Deploy to Github Pages
	if: github.event_name == 'push'
	run: \|
	cd docs/build/html
	touch .nojekyll
	git init
	cp ../../../.git/config ./.git/config
	git add .
	git config --local user.email "push@gha"
	git config --local user.name "GHA"
	git commit -am "update ${{ github.sha }}"
	git push -u origin +HEAD:gh-pages
	rm -rf .git

Provide feedback