Infra, Ops & WorkflowSûr100100/100
Ilverify Failure (.NET)
Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
ou envoie-le directement à ton agent.
Installer dans ton projet
$ curl -fsSL https://arboristhree.xyz/cli/install-skill.mjs -o /tmp/arboris-install-skill.mjs && node /tmp/arboris-install-skill.mjs ilverify-failure__dotnet-dotnet__src-fsharp-github-skills-0db4d6cfe1c6.NET
dotnet/dotnet
Contenu à copier
--- name: ilverify-failure description: Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job. metadata: origin: .NET --- # 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.
Colle ce Markdown dans ton agent ou utilise les boutons ci-dessus pour l’écrire dans ton projet.
Ce que fait Ilverify Failure (.NET)
Applique les pratiques du skill ilverify-failure__dotnet-dotnet__src-fsharp-github-skills-0db4d6cfe1c6.
Comment utiliser Ilverify Failure (.NET)
1
Copie le prompt
Un clic copie le prompt packagé (ou l'envoie à ton agent).
2
L'agent installe le skill
Il ajoute le SKILL.md et ses ressources à ton projet.
3
Activation automatique
Le skill s'active dès que le contexte correspond.
Déclencheurs pour Ilverify Failure (.NET)
Dis simplement à ton agent quelque chose comme :
Applique le skill ilverify-failure__dotnet-dotnet__src-fsharp-github-skills-0db4d6cfe1c6 à cette tâche
Utilise ilverify-failure__dotnet-dotnet__src-fsharp-github-skills-0db4d6cfe1c6 pour améliorer cette implémentation
Passe en revue ce sujet avec ilverify-failure__dotnet-dotnet__src-fsharp-github-skills-0db4d6cfe1c6
Skills liés à Ilverify Failure (.NET)
Add CLI Command (.NET)
Add or change a dotnet CLI command, subcommand, or option across the relevant CLI projects. USE FOR: adding or changing a dotnet CLI command/subcommand, adding a new Option<T> or Argument<T>, registering a subcommand in the command tree, changing an option's help description or a command's runtime message, wiring a command parser, or updating --help output.Add Dotnet Aot Command (.NET)
Add, enable, or review a dotnet CLI command or feature in the Native AOT CLI (src/Cli/dotnet-aot) and prove its compatibility. USE FOR: migrating a command or option to AOT, reviewing an AOT migration PR, defining conservative eligibility and managed fallback, changing AotSourceFiles.props or AotDependencies.props, validating AOT/managed parity, NativeAOT-publishing tests, checking binary-size impact, or using the dn harness and separated SDK layout. DO NOT USE FOR: resolving IL trim/AOT analyzer warnings alone (use dotnet-aot-compat), running dotnet.Tests incrementally (use incremental-test), or pure managed CLI work.Add Net Analyzer (.NET)
Add, port, or change a .NET code analysis rule (CA####) under src/Microsoft.CodeAnalysis.NetAnalyzers. USE FOR: implementing a new CA analyzer and its code fixer, porting a rule or PR from the retired dotnet/roslyn-analyzers repo, allocating a diagnostic ID from DiagnosticCategoryAndIdRanges.txt, choosing RuleLevel/severity/category, wiring resx + xlf strings, recording the rule in AnalyzerReleases.Unshipped.md, regenerating the analyzer documentation/sarif files, and writing MSTest analyzer/code-fix tests with the VerifyCS/VerifyVB harness. DO NOT USE FOR: NETSDK#### MSBuild diagnostics (src/Tasks), CS####/BC#### compiler diagnostics or IDE#### analyzers (dotnet/roslyn), or CONTAINER#### diagnostics (src/Containers).