Add site favicon #21

	name: update-html

	on:
	workflow_dispatch:
	pull_request_target:
	branches: [main]

	jobs:
	update:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	id-token: write

	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	repository: ${{ github.event.pull_request.head.repo.full_name }}
	ref: ${{ github.event.pull_request.head.sha }}

	- name: Set up Pandoc
	uses: r-lib/actions/setup-pandoc@v2

	- name: Run build script
	id: build
	run: \|
	bash build.sh

	if git diff --exit-code --quiet; then
	echo "updated=0" >> $GITHUB_OUTPUT
	else
	echo "updated=1" >> $GITHUB_OUTPUT
	fi

	- name: Commit and push if changes
	if: steps.build.outputs.updated == '1'
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "acmcsufoss"
	git commit -am "Update HTML"
	git push origin HEAD:${{ github.event.pull_request.head.ref }}
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback