Add installYq option to sync.py and install yq directly from GitHub release

[mbg]

On Windows, choco install yq routinely fails. For some reason, this doesn't cause the step itself to fail, but does cause obvious failures later on in the workflow.

Under the hood, choco install just queries a feed at https://community.chocolatey.org/api/v2/ for where to download a suitable binary for yq from, which turns out to be a GitHub release.

This PR changes the workflow to sidestep choco entirely and just download yq directly from the release that's currently used by choco.

Note for reviewers: in the first commit, I attempted to cache the data for choco install instead, but I discovered that choco doesn't really support caching to the point where it doesn't have to query the feed / redownloads the files.

Risk assessment

For internal use only. Please select the risk level of this change:

• Low risk: Changes are fully under feature flags, or have been fully tested and validated in pre-production environments and are highly observable, or are documentation or test only.

Which use cases does this change impact?

Environments:

• Testing/None - This change does not impact any CodeQL workflows in production.

How did/will you validate this change?

• End-to-end tests - I am depending on PR checks (i.e. tests in pr-checks).

If something goes wrong after this change is released, what are the mitigation and rollback strategies?

• Rollback - Change can only be disabled by rolling back the release or releasing a new version with a fix.

How will you know if something goes wrong after this change is released?

• Other - Please provide details. CI outcome.

Are there any special considerations for merging or releasing this change?

• No special considerations - This change can be merged at any time.

Merge / deployment checklist

• Confirm this change is backwards compatible with existing workflows.
• Consider adding a changelog entry for this change.
• Confirm the readme and docs have been updated if necessary.

[Copilot]

Pull request overview

This PR addresses reliability issues with choco install yq on Windows by replacing it with direct downloads from the GitHub release. The change sidesteps Chocolatey's feed query failures and downloads the yq binary directly from the same GitHub release that Chocolatey would use.

Changes:

• Added installYq option to sync.py that generates a step to download yq directly from GitHub releases on Windows
• Updated build-mode-autobuild.yml to use the new installYq: "true" option instead of manually installing via choco

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

File	Description
pr-checks/sync.py	Adds installYq option that generates a workflow step to download yq v4.50.1 from GitHub releases on Windows runners
pr-checks/checks/build-mode-autobuild.yml	Replaces manual choco install yq step with declarative installYq: "true" option
.github/workflows/__build-mode-autobuild.yml	Auto-generated workflow file (not reviewed per guidelines)

[Copilot]

The directory $YQ_PATH should be created before downloading the file to ensure it exists. Consider adding mkdir -p "$YQ_PATH" as the first line of the run script to be consistent with similar patterns elsewhere in the codebase (e.g., .github/workflows/__cleanup-db-cluster-dir.yml:60).

Suggested change

	'run': LiteralScalarString(
	'run': LiteralScalarString(
	'mkdir -p "$YQ_PATH"\n'

[Copilot]

The yq version v4.50.1 is hardcoded without any inline comment or documentation. Consider adding a comment explaining why this specific version was chosen (e.g., matching the version used by Chocolatey) and how to update it in the future. This would improve maintainability, especially since other tool installations (Java, Go, Python, .NET) use configurable versions via workflow inputs.