On pull requests #259

	name: On pull requests

	on:
	pull_request:
	# You can use the merge_group event to trigger your GitHub Actions workflow when
	# a pull request is added to a merge queue
	# https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
	merge_group:

	concurrency:
	# Cancel any running workflow for the same branch when new commits are pushed.
	# We group both by ref_name (available when CI is triggered by a push to a branch/tag)
	# and head_ref (available when CI is triggered by a PR).
	group: "${{ github.ref_name }}-${{ github.head_ref }}"
	cancel-in-progress: true

	jobs:
	linting-and-tests:
	name: Linting and tests
	uses: ./.github/workflows/linting-and-tests.yml

	snyk-security-scan:
	name: Snyk security scan
	uses: ./.github/workflows/snyk-security-scan.yml

Provide feedback