Use whenever creating, drafting, or updating a pull request (title or body) for the dubzzz/fast-check repository, including via the mcp__github__create_pull_request and mcp__github__update_pull_request tools.
See CONTRIBUTING.md (§ "Naming your pull request") and
.github/copilot-instructions.md for the full emoji mapping.
emoji Descriptionemoji(scope) Description
ava, jest, vitest, worker, poisoning, packagedCommon emojis: ✨ feature · 🐛 fix · 📝 docs · ✅ tests · 🏷️ types · ⚡️ perf · ♻️ refactor · 🔧 config · 🎨 style · 🔥 remove · ⬆️ upgrade deps · ⬇️ downgrade deps · 🗑️ deprecation · 👷 CI.
.github/PULL_REQUEST_TEMPLATE.md verbatim. Keep every
section and every checklist item, in order. Do not delete, rename,
or reorder anything.- [ ] stays unchecked — the
reviewer (or the author during review) ticks them.Fixes #<n> when one exists.Don't tick the boxes, but use them as prompts to preempt reviewer questions inside the description prose:
pnpm run bump
or the changeset bot instructions were followed).