This repository has been archived by the owner on Oct 22, 2024. It is now read-only.

Add patch overrides #211

	name: Check PRdoc

	on:
	pull_request:
	types: [labeled, opened, synchronize, unlabeled]
	merge_group:

	env:
	IMAGE: paritytech/prdoc:v0.0.5
	API_BASE: https://api.github.com/repos
	REPO: ${{ github.repository }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GITHUB_PR: ${{ github.event.pull_request.number }}
	MOUNT: /prdoc
	ENGINE: docker

	jobs:
	check-prdoc:
	runs-on: ubuntu-latest
	steps:
	- name: Skip merge queue
	if: ${{ contains(github.ref, 'gh-readonly-queue') }}
	run: exit 0
	- name: Pull image
	run: \|
	echo "Pulling $IMAGE"
	docker pull $IMAGE
	docker run --rm $IMAGE --version

	- name: Check if PRdoc is required
	id: get-labels
	run: \|
	# Fetch the labels for the PR under test
	echo "Fetch the labels for $API_BASE/${REPO}/pulls/${GITHUB_PR}"
	labels=$( curl -H "Authorization: token ${GITHUB_TOKEN}" -s "$API_BASE/${REPO}/pulls/${GITHUB_PR}" \| jq '.labels \| .[] \| .name' \| tr "\n" ",")
	echo "Labels: ${labels}"
	echo "labels=${labels}" >> "$GITHUB_OUTPUT"

	- name: No PRdoc required
	if: ${{ contains(steps.get-labels.outputs.labels, 'R0') }}
	run: \|
	echo "PR detected as silent, no PRdoc is required, exiting..."
	exit 0

	- name: Checkout repo
	if: ${{ !contains(steps.get-labels.outputs.labels, 'R0') }}
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 #v4.1.1

	- name: PRdoc check for PR#${{ github.event.pull_request.number }}
	if: ${{ !contains(steps.get-labels.outputs.labels, 'R0') }}
	run: \|
	echo "Checking for PR#${GITHUB_PR} in $MOUNT"
	$ENGINE run --rm -v $PWD/prdoc:/doc $IMAGE check -n ${GITHUB_PR} \|\| true

Provide feedback