Apply suggestion from @kim-em #3758

	name: deploy site

	on:
	push:
	branches-ignore:
	- 'master'
	- 'oldsite'
	schedule:
	- cron: '0 4 * * *'
	workflow_dispatch:

	concurrency:
	# label each workflow run; only the latest with each label will run
	group: ${{ github.workflow }}-${{ github.ref }}
	# if there is a run in progress with the same label, the next new run will be queued
	# and new runs after that will cancel pending runs
	cancel-in-progress: false

	jobs:
	build:
	name: Build HTML
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: install Python
	uses: actions/setup-python@v5
	with:
	# TODO: fix things so we can build with 3.12 and above
	python-version: 3.11

	- name: install bibtool
	run: \|
	sudo apt-get update --fix-missing
	sudo apt-get install bibtool

	- name: install Python dependencies
	run: python -m pip install --upgrade pip -r requirements.txt

	- name: build and deploy
	run:
	./deploy.sh
	env:
	git_hash: ${{ github.sha }}
	DEPLOY_GITHUB_TOKEN: ${{ secrets.MASTER_DEPLOY }}
	DEPLOY_GITHUB_USER: leanprover-community-bot
	github_repo: ${{ github.repository }}
	github_ref: ${{ github.ref }}
	ZULIP_KEY: ${{ secrets.ZULIP_KEY }}

Provide feedback