Skip to content

Fix build symbols CI step#7029

Merged
zivkan merged 2 commits intodevfrom
dev-zivkan-fix-build
Jan 7, 2026
Merged

Fix build symbols CI step#7029
zivkan merged 2 commits intodevfrom
dev-zivkan-fix-build

Conversation

@zivkan
Copy link
Copy Markdown
Member

@zivkan zivkan commented Jan 7, 2026

Bug

Fixes: engineering

Description

The PR #7023 has an error, which wasn't caught because the step only runs on official builds, not PR builds.

I also removed the conditions on IsOfficial, so that the pull request build validates more of what the official build does. These types of errors should be caught before getting merged.

PR Checklist

  • Meaningful title, helpful description and a linked NuGet/Home issue
  • Added tests
  • Link to an issue or pull request to update docs if this PR changes settings, environment variables, new feature, etc.

@zivkan zivkan requested a review from a team as a code owner January 7, 2026 00:22
@zivkan zivkan merged commit 950dc8a into dev Jan 7, 2026
17 of 18 checks passed
@zivkan zivkan deleted the dev-zivkan-fix-build branch January 7, 2026 20:31
Nigusu-Allehu pushed a commit that referenced this pull request Jan 26, 2026
Nigusu-Allehu added a commit that referenced this pull request Jan 26, 2026
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.

3 participants