TiDB Test Diff Triage
pingcap/tidb
Investigates TiDB plan or test-result diffs that the change does not explain, ruling out failpoint setup and merge effects before expected outputs are updated.
Workflow for producing auditable Git or jj history for a known compiler bug fix.
Install Workflow Regression Tests
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install purefunctor/purescript-iris workflow-regression-tests --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .claude/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .claude/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-testsType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install purefunctor/purescript-iris workflow-regression-tests --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .agents/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .agents/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install purefunctor/purescript-iris workflow-regression-tests --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .cursor/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .cursor/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/purefunctor/purescript-iris.git --path .agents/skills/workflow-regression-tests--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install purefunctor/purescript-iris workflow-regression-tests --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .gemini/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .gemini/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install purefunctor/purescript-iris workflow-regression-testsInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .github/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .github/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install purefunctor/purescript-iris workflow-regression-tests --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/purefunctor/purescript-iris.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/workflow-regression-tests .opencode/skills/workflow-regression-tests && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "workflow-regression-tests" agent skill from https://github.com/purefunctor/purescript-iris/tree/main/.agents/skills/workflow-regression-tests into .opencode/skills/workflow-regression-tests/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "workflow-regression-tests", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
workflow-regression-tests- GitHub stars
- 117
- Token cost
- ~1.8k tokens
- SKILL.md length
- 806 words
- Files
- 1
- Skills in repo
- 7
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
Workflow for producing auditable Git or jj history for a known compiler bug fix.
- Works in 5 steps: Preserve the existing fix commit → Add the regression fixture → Return to the fix commit and update the… → …
- A compiler fix needs a failing integration-test fixture followed by a fix commit that updates the same compiler
- SKILL.md covers Historical pattern, Choose the integration-test…, Jujutsu workflow and Git-only workflow, plus 2 more sections
- Calls just and git
What it does
Workflow Regression Tests is an agent skill from purefunctor/purescript-iris. Workflow for producing auditable Git or jj history for a known compiler bug fix. Use when a compiler fix needs a failing integration-test fixture followed by a fix commit that updates the same compiler, lowering, resolving, or LSP report.
Its SKILL.md is about 1.8k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Testing & QA, covering Integration testing, Debugging and Git workflow. It works with Git. The repository describes itself as: A compiler for the PureScript programming language.
When your agent uses it
- A compiler fix needs a failing integration-test fixture followed by a fix commit that updates the same compiler
- Tasks that involve Integration testing
- Tasks that involve Debugging
Example prompts
- “/workflow-regression-tests”
Workflow steps
5 steps, taken from the step headings in SKILL.md.
- Preserve the existing fix commit
- Add the regression fixture
- Return to the fix commit and update the snapshot
- Commit the failing fixture
- Apply the fix and update the snapshot
What it can do on your machine
Read from SKILL.md and the folder at commit e5bd7b2. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
Shell commands in SKILL.md call:
justgit
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md. Its commands use git, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Workflow Regression Tests loads about 1.8k tokens when it runs. Until then it costs about 66 tokens; SKILL.md has 806 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 806 words (~1,781 tokens).
“Use this when the fix is known and needs an auditable regression test. The Jujutsu workflow can split a fix that is already present; the Git workflow starts before the fix is applied and moves forward through ordinary commits.”
- name
- workflow-regression-tests
Files
Just SKILL.md in .agents/skills/workflow-regression-tests of purefunctor/purescript-iris.
Open the folder on GitHubat commit e5bd7b2
Compare with similar skills
Workflow Regression Tests next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Workflow Regression Tests this skillpurefunctor/purescript-iris | 117 | — | ~1.8k | Automated safety check: Pass | Custom licence | |
| TiDB Test Diff Triagepingcap/tidb | 41k | — | ~498 | Automated safety check: Pass | Apache-2.0 | |
| Fly E2E Testcmpnd-ai/dspy-cli | 137 | — | ~2.3k | Automated safety check: Notes | MIT | |
| Command Test Conventionsruby-git/ruby-git | 1.8k | — | ~7.8k | Automated safety check: Pass | MIT | |
| Git History Bug Auditben-manes/caffeine | 18k | — | ~3.3k | Automated safety check: Pass | Apache-2.0 | |
| Stax Devcesarferreira/stax | 128 | — | ~987 | Automated safety check: Pass | MIT |
Similar skills
Fly E2E Test
cmpnd-ai/dspy-cli
Deploy and test dspy-cli on Fly.io using local changes via temp git branch.
Command Test Conventions
ruby-git/ruby-git
Conventions for writing and reviewing unit and integration tests for Git::Commands:: classes.
Git History Bug Audit
ben-manes/caffeine
Audits a module by walking its git history commit by commit, tracking unresolved issues forward, and reporting the ones that survive to HEAD as findings.
Stax Dev
cesarferreira/stax
Development harness for the stax Rust CLI project. An agent skill from cesarferreira/stax.
Anchor Vet
lynxlangya/techne
Evidence-gated diff review for PRs, branches, commit ranges, staged code changes, and merge readiness checks.
More from purefunctor/purescript-iris
Running Compatibility Checks
purefunctor/purescript-iris
Runs Iris package-set compatibility comparisons with release-built verifiers.
Cutting Releases
purefunctor/purescript-iris
Cuts Iris GitHub releases through the version-bump PR, merge commit, tag-driven build workflow, attestations, installer tests, and generated release notes.
Watch
purefunctor/purescript-iris
Ask a running iris watch about a PureScript project with iris watch query for signatures, module exports, definitions, references, instances, dependent modules, name search, diagnostics, and…
Workflow Integration Tests
purefunctor/purescript-iris
Workflow for adding and updating Iris integration-test fixtures for unified compiler, lowering, resolving, and LSP behavior.
Writing Code Commentary
purefunctor/purescript-iris
Writes and reviews Iris compiler comments, algorithm traces, and documentation examples.
Auditing Tests
purefunctor/purescript-iris
Gates new or changed Iris tests and audits low-value, implementation-coupled, or duplicative coverage and test-only production seams.
Related
Works with
Categories
Questions about Workflow Regression Tests
What does Workflow Regression Tests do?
Workflow for producing auditable Git or jj history for a known compiler bug fix. Workflow Regression Tests is an agent skill from purefunctor/purescript-iris. Workflow for producing auditable Git or jj history for a known compiler bug fix.
When should I use Workflow Regression Tests?
Workflow Regression Tests fits situations like: A compiler fix needs a failing integration-test fixture followed by a fix commit that updates the same compiler; tasks that involve Integration testing; tasks that involve Debugging.
How do I install Workflow Regression Tests in Claude Code?
Run `npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a claude-code`. Or copy the skill folder (.agents/skills/workflow-regression-tests in purefunctor/purescript-iris) into .claude/skills/workflow-regression-tests in your project. Claude Code loads it when a task matches its description.
How do I install Workflow Regression Tests in Codex?
Run `npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a codex`. Or copy the skill folder (.agents/skills/workflow-regression-tests in purefunctor/purescript-iris) into .agents/skills/workflow-regression-tests in your project. Codex loads it when a task matches its description.
Can I use Workflow Regression Tests in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add purefunctor/purescript-iris --skill workflow-regression-tests -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/workflow-regression-tests, .gemini/skills/workflow-regression-tests, .github/skills/workflow-regression-tests and .opencode/skills/workflow-regression-tests in your project.
What does Workflow Regression Tests need to run?
Going by SKILL.md and its folder, Workflow Regression Tests needs the command-line tools its instructions call (just and git).
Does Workflow Regression Tests access the network?
SKILL.md contains no URLs. Its commands use git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Is Workflow Regression Tests safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Workflow Regression Tests use?
Workflow Regression Tests has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
How many tokens does Workflow Regression Tests use?
About 1.8k tokens (SKILL.md is roughly 7.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Workflow Regression Tests?
Skills that share tags, products or a category with Workflow Regression Tests: TiDB Test Diff Triage (pingcap/tidb, 41k stars), Fly E2E Test (cmpnd-ai/dspy-cli, 137 stars), Command Test Conventions (ruby-git/ruby-git, 1.8k stars) and Git History Bug Audit (ben-manes/caffeine, 18k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Workflow Regression Tests?
purefunctor (a GitHub user) maintains it in purefunctor/purescript-iris, which has 117 GitHub stars. The repository holds 7 skills in this directory. The repository was last updated on October 7, 2026.
Source: purefunctor/purescript-iris on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.