GADT-indexed abilities: index refinement for handlers #2386

	name: Contributor signed CONTRIBUTORS.markdown

	# Apparently, to make a check required for either pull_request or merge_group,
	# we need to run the check for both events, and then exclude steps or jobs
	# as needed.
	on:
	pull_request:
	merge_group:

	jobs:
	check-contributor:
	runs-on: ubuntu-24.04
	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
	with:
	sparse-checkout: CONTRIBUTORS.markdown
	- name: Look for @${{github.event.pull_request.user.login}} in CONTRIBUTORS.markdown
	if: github.event_name == 'pull_request'
	shell: bash
	run: \|
	echo "If this step fails, make sure you've added yourself to CONTRIBUTORS.markdown"
	echo "to acknowledge Unison's MIT license."

	egrep '\* .* $@${{github.event.pull_request.user.login}}$' \
	CONTRIBUTORS.markdown

Provide feedback