Merge pull request #599 from egor-krv/egork/incident-2025-08-31-servi… #504

	name: "Build the website"
	on:
	workflow_dispatch: # This allows manual trigger from the UI
	push:
	branches:
	- main

	permissions:
	contents: write

	jobs:
	build:
	runs-on: ubuntu-latest
	env:
	CI_COMMIT_MESSAGE: "[bot] Build the website"
	CI_COMMIT_AUTHOR: github
	steps:
	- uses: actions/checkout@v3
	- if: github.event.commits[0].message != env.CI_COMMIT_MESSAGE
	run: \|
	bash generate-results.sh
	cd hardware && bash generate-results.sh && cd -

	git config --global user.name "${{ env.CI_COMMIT_AUTHOR }}"
	git config --global user.email "${{ env.CI_COMMIT_AUTHOR }}@users.noreply.github.com"

	git add -A
	if git status \| grep -q modified
	then
	git commit -m "${{ env.CI_COMMIT_MESSAGE }}"
	git push
	fi

Provide feedback