[Merged by Bors] - feat(CategoryTheory/Triangulated/Adjunction): the right adjoint of a triangulated functor is triangulated #2990

	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@v4
	with:
	sparse-checkout: \|
	scripts/zulip_emoji_merge_delegate.py

	- name: Set up Python
	uses: actions/setup-python@v5
	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: [email protected]
	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