Skip to content

Fix main CI duplicate request token declaration - #3861

Merged
Widthdom merged 1 commit into
mainfrom
codex/fix-main-ci-request-token
Jun 20, 2026
Merged

Fix main CI duplicate request token declaration#3861
Widthdom merged 1 commit into
mainfrom
codex/fix-main-ci-request-token

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

Summary

CI Root Cause

  • Build and Test / build (windows-latest, net9.0) failed with CS0128: A local variable or function named 'requestToken' is already defined in this scope at src/CodeIndex/Mcp/McpToolHandlers.cs(3180,17).
  • CodeQL / Analyze (csharp) failed for the same build error during its solution build.

Validation

  • dotnet restore CodeIndex.sln --locked-mode
  • dotnet build tests/CodeIndex.Tests/CodeIndex.Tests.csproj --configuration Release --framework net9.0 --no-restore -p:UseSharedCompilation=false
  • dotnet build CodeIndex.sln --configuration Release --no-restore -p:UseSharedCompilation=false
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --configuration Release --no-build --filter ToolsCall_StatusUpdateCheck_UsesRequestCancellationToken_Issue3658 -p:UseSharedCompilation=false
  • dotnet run --project tools/CodeIndex.Changelog -- check
  • git diff --check origin/main...HEAD
  • dotnet build -p:UseSharedCompilation=false
  • dotnet ./src/CodeIndex/bin/Debug/net8.0/cdidx.dll index . --json
  • dotnet ./src/CodeIndex/bin/Debug/net8.0/cdidx.dll status --check --json

No changelog fragment: this is a CI build repair for an already-merged change and does not alter user-visible behavior.

Refs #3854

@Widthdom
Widthdom merged commit a784ded into main Jun 20, 2026
9 checks passed
@Widthdom
Widthdom deleted the codex/fix-main-ci-request-token branch June 20, 2026 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant