Add animation to Docs Assistant widget #3379

	# This CI workflow was adapted from (and inspired by) [PaperMoon](https://papermoon.io/)’s MkDocs workflows previously used for Wormhole Docs.
	# Original reference implementation: https://github.com/papermoonio/workflows/blob/main/.github/workflows/pr-blocked-label.yml

	name: Check PR Labels

	on:
	pull_request:
	types: [labeled, unlabeled, opened, edited, synchronize, reopened]

	jobs:
	check-label:
	runs-on: ubuntu-latest
	steps:
	- name: Check for whitelist labels
	uses: actions/github-script@v7
	with:
	script: \|
	const whitelistLabels = "B1 - Ready to Merge".split(',').map(label => label.trim());
	const prNumber = context.payload.pull_request.number;
	const { data: labels } = await github.rest.issues.listLabelsOnIssue({
	owner: context.repo.owner,
	repo: context.repo.repo,
	issue_number: prNumber
	});

	const foundWhitelistLabels = labels.filter(label =>
	whitelistLabels.includes(label.name)
	);

	if (foundWhitelistLabels.length === 0) {
	const requiredLabelNames = whitelistLabels.join(', ');
	core.setFailed(`PR cannot be merged because it must have at least one of the following labels: "${requiredLabelNames}"`);
	}

Provide feedback