SkillsAdd

dotnet/fsharp · Archived

ilverify-failure

Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.

First seen Jun 21, 2026

Installation

$ npx skills add dotnet/fsharp --skill ilverify-failure
View on skills.sh ↗ GitHub repository ↗

Stronger alternatives

This repository is archived — consider an actively maintained alternative.

creating-skills Same source · more installs
dotnet/fsharp

Create custom agent capabilities when discovering novel tools, receiving task-agnostic tips fro…

2 installs
code-compaction Same source
dotnet/fsharp

Use when a code/test/comment diff is called bloated, slop, LLM slop, bullshit, WTF, crap, rubbi…

1 installs
run-tests Same author
dotnet/skills

ALWAYS USE before running .NET tests or answering with a test command or flags. Trigger on "run…

3.1K installs
optimizing-ef-core-queries Same author
dotnet/skills

Optimize and improve the performance of slow Entity Framework Core (EF Core) queries: make them…

3.1K installs

Also in this package

Other skills from dotnet/fsharp.

npx skills add dotnet/fsharp
creating-skills 2 code-compaction 1

Browse all from dotnet/fsharp

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 4.3K
License License.txt
Default branch main
Open issues 1,139
Status Archived

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 877 B
  • docs SUMMARY.md 152 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 1 installs

SKILL.md

ILVerify Baseline

When to Use

IL shape changed (codegen, new types, method signatures) and ILVerify CI job fails.

Offset-Only Differences

Changes that only shift IL byte offsets ([offset 0x...]) — for example adding code above an existing error site — are detected automatically and do not fail CI. A warning is printed suggesting a baseline update. No action is required, but refreshing baselines keeps them accurate.

Update Baselines

TEST_UPDATE_BSL=1 pwsh tests/ILVerify/ilverify.ps1

Or use the /run ilverify PR comment command to update baselines via CI.

Baselines Location

tests/ILVerify/*.bsl

Verify

Re-run without TESTUPDATEBSL=1, should pass.