Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

$pwd:

pr-build-status

Name: Pr Build Status
Author: dotnet

// Retrieve and analyze Azure DevOps build failures for GitHub PRs. Use when CI fails. CRITICAL: Collect ALL errors from ALL platforms FIRST, write hypotheses to file, then fix systematically.

Exécuter dans Manus

$ git log --oneline --stat

stars:4 288

forks:859

updated:2 mars 2026 à 14:19

Explorateur de fichiers

4 fichiers

SKILL.md

readonly

name	pr-build-status
description	Retrieve and analyze Azure DevOps build failures for GitHub PRs. Use when CI fails. CRITICAL: Collect ALL errors from ALL platforms FIRST, write hypotheses to file, then fix systematically.
metadata	{"author":"dotnet-maui","version":"2.0"}
compatibility	Requires GitHub CLI (gh) authenticated with access to dotnet/fsharp repository.

PR Build Status Skill

Retrieve and systematically analyze Azure DevOps build failures for GitHub PRs.

CRITICAL: Collect-First Workflow

DO NOT push fixes until ALL errors are collected and reproduced locally.

LLMs tend to focus on the first error found and ignore others. This causes:

Multiple push/wait/fail cycles
CI results being overwritten before full analysis
Missing platform-specific failures (Linux vs Windows vs MacOS)

Mandatory Workflow

1. COLLECT ALL     → Get errors from ALL jobs across ALL platforms
2. DOCUMENT        → Write CI_ERRORS.md with hypotheses per platform
3. REPRODUCE       → Run each failing test LOCALLY (in isolation!)
4. FIX             → Fix each issue, verify locally
5. PUSH            → Only after ALL issues verified fixed

Scripts

All scripts are in .github/skills/pr-build-status/scripts/

1. Get Build IDs for a PR

pwsh .github/skills/pr-build-status/scripts/Get-PrBuildIds.ps1 -PrNumber <PR_NUMBER>

2. Get Build Status (List ALL Failed Jobs)

# Get overview of all stages and jobs
pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId <BUILD_ID>

# Get ONLY failed jobs (use this to see all failing platforms)
pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId <BUILD_ID> -FailedOnly

3. Get Build Errors and Test Failures

# Get ALL errors (build errors + test failures) - USE THIS FIRST
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID>

# Filter to specific job (after getting overview)
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*Linux*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*Windows*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*MacOS*"

4. Direct API Access (for detailed logs)

# Get timeline with all jobs
$uri = "https://dev.azure.com/dnceng-public/public/_apis/build/builds/<BUILD_ID>/timeline?api-version=7.1"
Invoke-RestMethod -Uri $uri | Select-Object -ExpandProperty records | Where-Object { $_.result -eq "failed" }

# Get specific log content
$logUri = "https://dev.azure.com/dnceng-public/cbb18261-c48f-4abb-8651-8cdcb5474649/_apis/build/builds/<BUILD_ID>/logs/<LOG_ID>"
Invoke-RestMethod -Uri $logUri | Select-String "Failed|Error|FAIL"

Step-by-Step Analysis Procedure

Step 1: Get Failed Build ID

pwsh .github/skills/pr-build-status/scripts/Get-PrBuildIds.ps1 -PrNumber XXXXX
# Note the BuildId with FAILED state

Step 2: List ALL Failed Jobs (Cross-Platform!)

pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId YYYYY -FailedOnly

IMPORTANT: Note jobs from EACH platform:

Linux jobs
Windows jobs
MacOS jobs
Different test configurations (net10.0 vs net472, etc.)

Step 3: Get Errors Per Platform

# Collect errors from EACH platform separately
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*Linux*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*Windows*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*MacOS*"

Step 4: Write CI_ERRORS.md

Create a file in session workspace with ALL findings:

# CI Errors for PR #XXXXX - Build YYYYY

## Failed Jobs Summary
| Platform | Job Name | Error Type |
|----------|----------|------------|
| Linux    | ...      | Test       |
| Windows  | ...      | Test       |

## Hypothesis Per Platform

### Linux/MacOS Failures
- Error: "The type 'int' is not defined"
- Hypothesis: Missing FSharp.Core reference in test setup
- Reproduction: `dotnet test ... -f net10.0`

### Windows Failures  
- Error: "Expected cache hits for generic patterns"
- Hypothesis: Flaky test assertion, passes with other tests
- Reproduction: `dotnet test ... --filter "FullyQualifiedName~rigid generic"`

## Reproduction Commands
...

## Fix Verification Checklist
- [ ] Linux error reproduced locally
- [ ] Windows error reproduced locally
- [ ] Fix verified for Linux
- [ ] Fix verified for Windows
- [ ] Tests run IN ISOLATION (not just with other tests)

Step 5: Reproduce Locally BEFORE Fixing

# Run failing tests IN ISOLATION (critical!)
dotnet test ... --filter "FullyQualifiedName~FailingTestName" -f net10.0

# Run multiple times to check for flakiness
for ($i = 1; $i -le 3; $i++) { dotnet test ... }

Step 6: Fix and Verify

Only after ALL issues reproduced:

Fix each issue
Verify each fix locally (run test in isolation!)
Run full test suite
Check formatting
THEN push

Common Pitfalls

❌ Mistake: Focus on First Error Only

See Linux error → Fix → Push → Wait → See Windows error → Fix → Push → ...

✅ Correct: Collect All First

See Linux error → See Windows error → See MacOS error → Document all → 
Fix all → Verify all locally → Push once

❌ Mistake: Run Tests Together

dotnet test ... --filter "OverloadCacheTests"  # All 8 pass together

✅ Correct: Run Tests in Isolation

dotnet test ... --filter "FullyQualifiedName~specific test name"  # May fail alone!

Prerequisites

gh (GitHub CLI) - authenticated
pwsh (PowerShell 7+)
Local build environment matching CI

related-skills.json

même dépôt

reviewing-compiler-prs.md

from "dotnet/fsharp"

Performs multi-agent, multi-model code review of F# compiler PRs across 19 dimensions including type checking, IL emission, binary compatibility, and IDE performance. Dispatches parallel assessment agents per dimension, consolidates with cross-model agreement scoring, and filters false positives. Invoke when reviewing compiler changes, requesting expert feedback, or performing pre-merge quality checks.

2026-05-204.3k

fsharp-diagnostics.md

from "dotnet/fsharp"

Always invoke after editing .fs files. Provides fast parse/typecheck feedback without a full dotnet build. Prefer this over dotnet build for iterative changes. Also finds symbol references and inferred type hints.

2026-04-014.3k

flaky-test-detector.md

from "dotnet/fsharp"

Detect flaky tests by scanning recent AzDo CI builds for test failures recurring across multiple unrelated PRs. Use when investigating intermittent failures, CI instability, deciding which tests to quarantine, or checking if RunTestCasesInSequence no-ops are causing parallel-safety issues.

2026-03-164.3k

vsintegration-ide-debugging.md

from "dotnet/fsharp"

Fix F# debugging issues (breakpoints, .pdb, sequence points). Build, run VS integration tests, inspect IL/PDB.

2026-03-134.3k

hypothesis-driven-debugging.md

from "dotnet/fsharp"

Investigate compiler failures, test errors, or unexpected behavior through systematic minimal reproduction, 3-hypothesis testing, and verification. Always re-run builds and tests after changes.

2026-02-194.3k

ilverify-failure.md

from "dotnet/fsharp"

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

2026-02-124.3k

package.json

"author": "dotnet"

"repository": "dotnet/fsharp"

Ouvrir le dépôt GitHub Voir les dépôts du créateur

$ install --global

$ download --local

Exécuter dans Manus

$ useful --forSOC

Développeurs de logicielsProfessions informatiques et mathématiques15-1252L4

Analystes en assurance qualité des logiciels et testeursL4

name	pr-build-status
description	Retrieve and analyze Azure DevOps build failures for GitHub PRs. Use when CI fails. CRITICAL: Collect ALL errors from ALL platforms FIRST, write hypotheses to file, then fix systematically.
metadata	{"author":"dotnet-maui","version":"2.0"}
compatibility	Requires GitHub CLI (gh) authenticated with access to dotnet/fsharp repository.

PR Build Status Skill

Retrieve and systematically analyze Azure DevOps build failures for GitHub PRs.

CRITICAL: Collect-First Workflow

DO NOT push fixes until ALL errors are collected and reproduced locally.

LLMs tend to focus on the first error found and ignore others. This causes:

Multiple push/wait/fail cycles
CI results being overwritten before full analysis
Missing platform-specific failures (Linux vs Windows vs MacOS)

Mandatory Workflow

1. COLLECT ALL     → Get errors from ALL jobs across ALL platforms
2. DOCUMENT        → Write CI_ERRORS.md with hypotheses per platform
3. REPRODUCE       → Run each failing test LOCALLY (in isolation!)
4. FIX             → Fix each issue, verify locally
5. PUSH            → Only after ALL issues verified fixed

Scripts

All scripts are in .github/skills/pr-build-status/scripts/

1. Get Build IDs for a PR

pwsh .github/skills/pr-build-status/scripts/Get-PrBuildIds.ps1 -PrNumber <PR_NUMBER>

2. Get Build Status (List ALL Failed Jobs)

# Get overview of all stages and jobs
pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId <BUILD_ID>

# Get ONLY failed jobs (use this to see all failing platforms)
pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId <BUILD_ID> -FailedOnly

3. Get Build Errors and Test Failures

# Get ALL errors (build errors + test failures) - USE THIS FIRST
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID>

# Filter to specific job (after getting overview)
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*Linux*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*Windows*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId <BUILD_ID> -JobFilter "*MacOS*"

4. Direct API Access (for detailed logs)

# Get timeline with all jobs
$uri = "https://dev.azure.com/dnceng-public/public/_apis/build/builds/<BUILD_ID>/timeline?api-version=7.1"
Invoke-RestMethod -Uri $uri | Select-Object -ExpandProperty records | Where-Object { $_.result -eq "failed" }

# Get specific log content
$logUri = "https://dev.azure.com/dnceng-public/cbb18261-c48f-4abb-8651-8cdcb5474649/_apis/build/builds/<BUILD_ID>/logs/<LOG_ID>"
Invoke-RestMethod -Uri $logUri | Select-String "Failed|Error|FAIL"

Step-by-Step Analysis Procedure

Step 1: Get Failed Build ID

pwsh .github/skills/pr-build-status/scripts/Get-PrBuildIds.ps1 -PrNumber XXXXX
# Note the BuildId with FAILED state

Step 2: List ALL Failed Jobs (Cross-Platform!)

pwsh .github/skills/pr-build-status/scripts/Get-BuildInfo.ps1 -BuildId YYYYY -FailedOnly

IMPORTANT: Note jobs from EACH platform:

Linux jobs
Windows jobs
MacOS jobs
Different test configurations (net10.0 vs net472, etc.)

Step 3: Get Errors Per Platform

# Collect errors from EACH platform separately
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*Linux*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*Windows*"
pwsh .github/skills/pr-build-status/scripts/Get-BuildErrors.ps1 -BuildId YYYYY -JobFilter "*MacOS*"

Step 4: Write CI_ERRORS.md

Create a file in session workspace with ALL findings:

# CI Errors for PR #XXXXX - Build YYYYY

## Failed Jobs Summary
| Platform | Job Name | Error Type |
|----------|----------|------------|
| Linux    | ...      | Test       |
| Windows  | ...      | Test       |

## Hypothesis Per Platform

### Linux/MacOS Failures
- Error: "The type 'int' is not defined"
- Hypothesis: Missing FSharp.Core reference in test setup
- Reproduction: `dotnet test ... -f net10.0`

### Windows Failures  
- Error: "Expected cache hits for generic patterns"
- Hypothesis: Flaky test assertion, passes with other tests
- Reproduction: `dotnet test ... --filter "FullyQualifiedName~rigid generic"`

## Reproduction Commands
...

## Fix Verification Checklist
- [ ] Linux error reproduced locally
- [ ] Windows error reproduced locally
- [ ] Fix verified for Linux
- [ ] Fix verified for Windows
- [ ] Tests run IN ISOLATION (not just with other tests)

Step 5: Reproduce Locally BEFORE Fixing

# Run failing tests IN ISOLATION (critical!)
dotnet test ... --filter "FullyQualifiedName~FailingTestName" -f net10.0

# Run multiple times to check for flakiness
for ($i = 1; $i -le 3; $i++) { dotnet test ... }

Step 6: Fix and Verify

Only after ALL issues reproduced:

Fix each issue
Verify each fix locally (run test in isolation!)
Run full test suite
Check formatting
THEN push

Common Pitfalls

❌ Mistake: Focus on First Error Only

See Linux error → Fix → Push → Wait → See Windows error → Fix → Push → ...

✅ Correct: Collect All First

See Linux error → See Windows error → See MacOS error → Document all → 
Fix all → Verify all locally → Push once

❌ Mistake: Run Tests Together

dotnet test ... --filter "OverloadCacheTests"  # All 8 pass together

✅ Correct: Run Tests in Isolation

dotnet test ... --filter "FullyQualifiedName~specific test name"  # May fail alone!

Prerequisites

gh (GitHub CLI) - authenticated
pwsh (PowerShell 7+)
Local build environment matching CI

pr-build-status

PR Build Status Skill

CRITICAL: Collect-First Workflow

Mandatory Workflow

Scripts

1. Get Build IDs for a PR

2. Get Build Status (List ALL Failed Jobs)

3. Get Build Errors and Test Failures

4. Direct API Access (for detailed logs)

Step-by-Step Analysis Procedure

Step 1: Get Failed Build ID

Step 2: List ALL Failed Jobs (Cross-Platform!)

Step 3: Get Errors Per Platform

Step 4: Write CI_ERRORS.md

Step 5: Reproduce Locally BEFORE Fixing

Step 6: Fix and Verify

Common Pitfalls

❌ Mistake: Focus on First Error Only

✅ Correct: Collect All First

❌ Mistake: Run Tests Together

✅ Correct: Run Tests in Isolation

Prerequisites

Plus depuis ce dépôt

Plus depuis ce dépôt

PR Build Status Skill

CRITICAL: Collect-First Workflow

Mandatory Workflow

Scripts

1. Get Build IDs for a PR

2. Get Build Status (List ALL Failed Jobs)

3. Get Build Errors and Test Failures

4. Direct API Access (for detailed logs)

Step-by-Step Analysis Procedure

Step 1: Get Failed Build ID

Step 2: List ALL Failed Jobs (Cross-Platform!)

Step 3: Get Errors Per Platform

Step 4: Write CI_ERRORS.md

Step 5: Reproduce Locally BEFORE Fixing

Step 6: Fix and Verify

Common Pitfalls

❌ Mistake: Focus on First Error Only

✅ Correct: Collect All First

❌ Mistake: Run Tests Together

✅ Correct: Run Tests in Isolation

Prerequisites