ilverify-failure
Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
Quellinformationen
- Repository
- dotnet/fsharp
- Letzte Quellaktivität
- 23. Juni 2026 um 15:12
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 4.344
- Forks
- 881
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau- name
- ilverify-failure
- description
- Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
# 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
```bash
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 `TEST_UPDATE_BSL=1`, should pass.
Auf GitHub ansehen