Skip to content

Harden upgrade and update release downloads - #2921

Merged
Widthdom merged 5 commits into
mainfrom
fix-issue2816-2875-2907
Jun 2, 2026
Merged

Harden upgrade and update release downloads#2921
Widthdom merged 5 commits into
mainfrom
fix-issue2816-2875-2907

Conversation

@Widthdom

@Widthdom Widthdom commented Jun 2, 2026

Copy link
Copy Markdown
Owner

Summary

Validation

  • dotnet build CodeIndex.sln -c Release -p:UseSharedCompilation=false
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --filter "FullyQualifiedName~BoundedHttpContentReaderTests|FullyQualifiedName~ProgramRunnerTests.BuildInstallerScriptUrl|FullyQualifiedName~ProgramRunnerTests.DownloadInstallerScriptAsync_CancelsStalledBody|FullyQualifiedName~ProgramRunnerTests.UpdateChecker_ReadLatestReleaseTagAsync|FullyQualifiedName~ProgramRunnerTests.UpdateChecker_FetchLatestReleaseTagAsync_CancelsStalledBody" -p:UseSharedCompilation=false
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -p:UseSharedCompilation=false
  • dotnet run --project tools/CodeIndex.Changelog -- check
  • codex exec --ephemeral --sandbox read-only "Follow .codex/workflows/adversarial-review.md..." -> No blocking/actionable issues found.

Scope

Fixes #2816
Fixes #2875
Fixes #2907

@Widthdom
Widthdom marked this pull request as ready for review June 2, 2026 06:14
@Widthdom
Widthdom merged commit 09d9d7e into main Jun 2, 2026
11 checks passed
@Widthdom
Widthdom deleted the fix-issue2816-2875-2907 branch June 3, 2026 23:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant