pkc%feat(eddsa): add rudimentary Ed25519 support backed by `ed25519-dalek` #243

	name: Tag PRs
Check warning on line 1 in .github/workflows/pr_tag.yml View workflow run for this annotation GitHub Actions / Tag PRs Workflow execution policy warning (evaluate mode) On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target

	on:
	pull_request_target:
	types: [synchronize, opened, reopened, closed]
	schedule:
	- cron: "0 6 * * 1"

	concurrency:
	group: ${{ github.workflow }}
	cancel-in-progress: true

	permissions:
	contents: read
	pull-requests: write

	jobs:
	tag:
	name: Tag pull requests
	runs-on: ubuntu-slim
	steps:
	- name: Checkout
	uses: actions/checkout@v6
	with:
	fetch-depth: 0

	- name: Configure git
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"

	- name: Tag conflicting and stale PRs
	uses: actions/github-script@v8
	with:
	script: \|
	const script = require("./.github/scripts/pr_tag.js");
	await script({ github, context });

Navigation Menu