Disable the search feature in the Ace code editor #40

	name: Build the Angular GUI and commit

	on:
	workflow_dispatch:
	push:
	branches:
	- main
	paths:
	- "matchbox-frontend/**"

	jobs:
	build-angular-and-commit:
	runs-on: ubuntu-latest
	permissions:
	# Give the default GITHUB_TOKEN write permission to commit and push the
	# added or changed files to the repository.
	contents: write
	defaults:
	run:
	working-directory: ./matchbox-frontend
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Setup Node.js
	uses: actions/setup-node@v3
	with:
	# https://github.com/actions/setup-node
	node-version: 18
	cache: npm
	cache-dependency-path: matchbox-frontend/package-lock.json

	- name: Setup Java
	uses: actions/setup-java@v3
	# https://github.com/actions/setup-java#usage
	with:
	java-version: 21
	distribution: adopt

	- name: Set up Maven
	uses: stCarolas/setup-maven@v5
	with:
	maven-version: 3.9.6

	- name: Update the project version
	shell: bash
	run: \|
	cd ..
	VERSION=`mvn help:evaluate -Dexpression=project.version -q -DforceStdout`
	echo "The project version is ${VERSION}"
	cd ./matchbox-frontend
	npm --no-git-tag-version --allow-same-version=true version "$VERSION"

	- name: Install dependencies
	run: npm install

	- name: Build
	run: npm run build

	- name: Remove the old GUI
	run: rm -rf ../matchbox-server/src/main/resources/static

	- name: Move the new GUI
	run: mv dist ../matchbox-server/src/main/resources/static

	- name: Commit
	if: success()
	uses: stefanzweifel/git-auto-commit-action@v4
	with:
	commit_message: "server: rebuild the Angular GUI resources"
	file_pattern: "matchbox-server/src/main/resources/static"

Provide feedback