[Merged by Bors] - chore(deps): bump leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec in /.github #16208

	on:
	pull_request:
	types: [labeled, unlabeled]
	jobs:
	set_pr_emoji:
	if: github.event.label.name == 'awaiting-author'
	runs-on: ubuntu-latest
	steps:
	- name: Checkout mathlib repository
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	sparse-checkout: \|
	scripts/zulip_emoji_merge_delegate.py

	- name: Set up Python
	uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
	with:
	python-version: '3.x'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install zulip

	- name: Add or remove emoji
	env:
	ZULIP_API_KEY: ${{ secrets.ZULIP_API_KEY }}
	ZULIP_EMAIL: github-mathlib4-bot@leanprover.zulipchat.com
	ZULIP_SITE: https://leanprover.zulipchat.com
	PR_NUMBER: ${{ github.event.number}}
	LABEL_STATUS: ${{ github.event.action }}
	run: \|
	printf $'Running the python script with pr "%s"\n' "$PR_NUMBER"
	python scripts/zulip_emoji_merge_delegate.py "$ZULIP_API_KEY" "$ZULIP_EMAIL" "$ZULIP_SITE" "$LABEL_STATUS" "$PR_NUMBER"

Provide feedback